module type Config = sig .. end
sig
end
val deps : State.t list
State.t list
val slice_limit : unit -> int
unit -> int
val disjunctive_invariants : unit -> bool
unit -> bool