Module Inferencer.Substitution

type t
val empty : t