Module 1-S.Memo
Memoised interface.
val auto : Big.t -> Sparse.t -> (Iso.t * Iso.t) listval occurs : target:Big.t -> pattern:Big.t -> Sparse.t -> boolval occurrence : target:Big.t -> pattern:Big.t -> Sparse.t -> Solver.occ optionval occurrences : target:Big.t -> pattern:Big.t -> Sparse.t -> (Iso.t * Iso.t) list -> Solver.occ listval occurrences_raw : target:Big.t -> pattern:Big.t -> Sparse.t -> Solver.occ list