package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module E : LogtkIndex.EQUATION with type rhs = LogtkFOTerm.t

Signature

type t
module E = E
val empty : ord:LogtkOrdering.t -> t
val add : t -> E.t -> t
val add_seq : t -> E.t Sequence.t -> t
val add_list : t -> E.t list -> t
val to_seq : t -> E.t Sequence.t
val size : t -> int
val mk_rewrite : t -> size:int -> LogtkFOTerm.t -> LogtkFOTerm.t

Given a TRS and a cache size, build a memoized function that performs term rewriting

OCaml

Innovation. Community. Security.