package datalog

  1. Overview
  2. Docs
package datalog
Legend:
Library
Module
Module type
Parameter
Class
Class type
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