package datalog

  1. Overview
  2. Docs

Parameters

Signature

val empty : unit -> t
val copy : t -> t
val add : t -> T.t -> Data.t -> t
val remove : t -> T.t -> Data.t -> t
val generalizations : ?oc:bool -> t -> scope -> T.t -> scope -> (Data.t -> Subst.t -> unit) -> unit
val unify : ?oc:bool -> t -> scope -> T.t -> scope -> (Data.t -> Subst.t -> unit) -> unit
val iter : t -> (T.t -> Data.t -> unit) -> unit
val size : t -> int
OCaml

Innovation. Community. Security.