Signature (mlsem-app.Mlsem

type overload

type t = overload list

val simplify_tyscheme : Mlsem_types.TyScheme.t -> Mlsem_types.TyScheme.t

val simplify_overload : overload -> overload

val build : 
  Mlsem_types.Builder.benv ->
  Mlsem_types.TyExpr.t ->
  overload * Mlsem_types.Builder.benv

val of_tyscheme : Mlsem_types.TyScheme.t -> t

val decompose : ?recursive:bool -> overload -> t

val regroup : t -> overload

val merge : ?recursive:bool -> overload -> overload

val to_tyscheme : t -> Mlsem_types.TyScheme.t

val to_gty : overload -> Mlsem_types.GTy.t

val overload_vars : overload -> string list

val instantiate : overload -> string -> Mlsem_types.Ty.t -> overload

val pp_overload : Stdlib.Format.formatter -> overload -> unit