Module Inferencer.TypeEnv

type t = (Ast.ident, Scheme.t, Base.String.comparator_witness) Base.Map.t