package datalog

You can search for identifiers within the package.

in-package search v0.2.0

package datalog

datalog
- Datalog
  - BottomUp
    
    Hashcons
    
    S
    
    Make
    
    Query
    
    Symbol
    
    S
    
    Query
    
    SymbolType
    
    Univ
  - BottomUpAst
  - BottomUpLexer
  - BottomUpParser
  - Default
    
    Query
    
    StringSymbol
  - TopDown
    
    CONST
    
    Default
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
    
    Make
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
    
    S
    
    C
    
    Tbl
    
    CVariantTbl
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
  - TopDownAst
  - TopDownLexer
  - TopDownParser
  - Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

type scope = int

type renaming

val empty : t

val bind : t -> T.t -> scope -> T.t -> scope -> t

val deref : t -> T.t -> scope -> T.t * scope

val create_renaming : unit -> renaming

val reset_renaming : renaming -> unit

val rename : renaming:renaming -> T.t -> scope -> T.t

val eval : t -> renaming:renaming -> T.t -> scope -> T.t

val eval_lit : t -> renaming:renaming -> Lit.t -> scope -> Lit.t

val eval_lits : t -> renaming:renaming -> Lit.t list -> scope -> Lit.t list

val eval_clause : t -> renaming:renaming -> C.t -> scope -> C.t