Module `T.Memo`

Memoised interface

val is_enabled : Big.t -> Sparse.t -> t -> bool
val fix : Big.t -> Sparse.t -> t list -> Big.t * int
val step : Big.t -> Sparse.t -> (t * (Iso.t * Iso.t) list) list -> (Big.t * label * t list) list * int
val random_step : Big.t -> Sparse.t -> (t * (Iso.t * Iso.t) list) list -> (Big.t * label * t list) option * int