package datalog

  1. Overview
  2. Docs

Module Datalog_caml_interface.RelListSource

Sourcetype 'a t
Sourceval name : _ t -> string
Sourceval create : ?k:'a Univ.key -> string -> 'a t
Sourceval get : 'a t -> Logic.T.t -> 'a list option
Sourceval make : 'a t -> 'a list -> Logic.T.t
OCaml

Innovation. Community. Security.