package datalog

  1. Overview
  2. Docs
type t = T.t -> T.t option
val create : unit -> map
val add : map -> Const.t -> t -> unit
val add_list : map -> (Const.t * t) list -> unit
val interpreted : map -> Const.t -> bool
val eval : map -> T.t -> T.t
OCaml

Innovation. Community. Security.