package datalog

  1. Overview
  2. Docs
type 'a t
val name : _ t -> string
val create : ?k:'a Univ.key -> string -> 'a t
val get : 'a t -> Logic.T.t -> 'a list option
val make : 'a t -> 'a list -> Logic.T.t
OCaml

Innovation. Community. Security.