Module MyMonadicSMemory.Defaults

val is_overlapping_asrt : 'a -> bool
val copy : 'a -> 'a
val get_print_info : 'a -> 'b -> Containers.SS.t * Containers.SS.t
val sure_is_nonempty : 'a -> bool
val get_failing_constraint : 'a -> 'b
val split_further : 'a -> 'b -> 'c -> 'd -> 'e option
val clean_up : ?keep:Gil_syntax.Expr.Set.t -> 'a -> Gil_syntax.Expr.Set.t * Gil_syntax.Expr.Set.t
val mem_constraints : 'a -> 'b list