Module Hoist

module Hoist: sig .. end

val hoist : TypeCore.env -> TypeCore.typ -> TypeCore.typ
val extract_constraints : TypeCore.env -> TypeCore.typ -> TypeCore.mode_constraint list * TypeCore.typ