package catala

  1. Overview
  2. Docs
val lift_box : 'a Bindlib.box Scopelang.Ast.EnumConstructorMap.t -> 'a Scopelang.Ast.EnumConstructorMap.t Bindlib.box
OCaml

Innovation. Community. Security.