Functor TypeMono.Make

module Make (T : TI.REPR) : sig .. end

module T: T

val is_ty : T.t -> bool

val repr : T.t -> T.t TypeMono.view

val as_ty : T.t -> T.t TypeMono.view option

val repr_with : subst:(T.t, T.t) Subst.t ->
       T.t -> T.t TypeMono.view

val mangle : sep:string -> T.t -> string

module Map: CCMap.Make(sig

type t = TypeMono.Make.T.t 


val compare : TypeMono.Make.T.t CCOrd.t
end)