Up – Package index » The Catala compiler » Library catala.surface » Surface » Desugaring » LiftStructFieldMap

Module `Desugaring.LiftStructFieldMap`

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