Module 1-S.Memo

Memoised interface.

val auto : Big.t -> Sparse.t -> (Iso.t * Iso.t) list
val occurs : target:Big.t -> pattern:Big.t -> Sparse.t -> bool
val occurrence : target:Big.t -> pattern:Big.t -> Sparse.t -> Solver.occ option
val occurrences : target:Big.t -> pattern:Big.t -> Sparse.t -> (Iso.t * Iso.t) list -> Solver.occ list
val occurrences_raw : target:Big.t -> pattern:Big.t -> Sparse.t -> Solver.occ list