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

Module `Ast.StructFieldMapLift`

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