package logtk
-
logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module E : LogtkIndex.EQUATIONval empty : ord:LogtkOrdering.t -> tval add_seq : t -> E.t Sequence.t -> tval to_seq : t -> E.t Sequence.tval size : t -> intval mk_rewrite : t -> size:int -> LogtkFOTerm.t -> LogtkFOTerm.tGiven a TRS and a cache size, build a memoized function that performs term rewriting