Module Desugaring.LiftEnumConstructorMap

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