package datalog

  1. Overview
  2. Docs
module Univ : sig ... end
module type S = sig ... end
module type SymbolType = sig ... end
module Hashcons (S : SymbolType) : sig ... end
module Make (Symbol : SymbolType) : sig ... end
module Ast : sig ... end
module Parser : sig ... end
module Lexer : sig ... end
module StringSymbol : sig ... end
module Default : sig ... end
val version : string