package datalog

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Libraries
1. datalog

package datalog

datalog
- Datalog
  - Ast
  - Default
    
    Query
  - Hashcons
    
    S
  - Lexer
  - Make
    
    Query
    
    Symbol
  - Parser
  - S
    
    Query
  - StringSymbol
  - SymbolType
  - Univ

Legend:
Library
Module
Module type
Parameter
Class
Class type

datalog 0.4.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

datalog

Documentation:

DatalogAst
DatalogParser
DatalogLexer
Datalog