Up – Package index » The Catala compiler » Library catala.scopelang » Scopelang » Ast » EnumConstructorMapLift

Module `Ast.EnumConstructorMapLift`Source

val lift_box : 
  'a Bindlib.box EnumConstructorMap.t ->
  'a EnumConstructorMap.t Bindlib.box