Module type Typed_memory.Config

module type Config = sig .. end

val deps : State.t list
val slice_limit : unit -> int
val disjunctive_invariants : unit -> bool