Module Mlsem_system.Heuristics

val normalize_empty_abstracts : Mlsem_types.Ty.t -> Mlsem_types.Ty.t
type tally_context = {
  1. mono : Mlsem_types.MVarSet.t;
  2. tvars : Mlsem_types.MVarSet.t;
  3. res : Mlsem_types.Ty.t;
}
val normalize_abstract_factors : tally_context -> Mlsem_types.Subst.t list -> Mlsem_types.Subst.t list