Module Refinement.Partitioner

type t
val from_refinements : Refinements.t -> t
val filter_compatible : t -> Mlsem_common.Variable.t -> Mlsem_types.Ty.t -> t
val decomposition_for : t -> Mlsem_common.Variable.t -> Mlsem_types.Ty.t list -> Mlsem_types.Ty.t list