package datalog

  1. Overview
  2. Docs
type t = TD.Subst.t
type scope = int
type renaming = TD.Subst.renaming
val empty : t
val bind : t -> T.t -> scope -> T.t -> scope -> t
val deref : t -> T.t -> scope -> T.t * scope
val create_renaming : unit -> renaming
val reset_renaming : renaming -> unit
val rename : renaming:renaming -> T.t -> scope -> T.t
val eval : t -> renaming:renaming -> T.t -> scope -> T.t
val eval_lit : t -> renaming:renaming -> Lit.t -> scope -> Lit.t
val eval_lits : t -> renaming:renaming -> Lit.t list -> scope -> Lit.t list
val eval_clause : t -> renaming:renaming -> C.t -> scope -> C.t
OCaml

Innovation. Community. Security.