package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

acgtk.acgData
- AcgData
  - Acg_lexicon
    
    Data_Lexicon
    
    Log
    
    MagicLog
  - Environment
    
    Environment
  - Errors
    
    EnvironmentErrors
    
    Environment_l
    
    LexiconErrors
    
    Lexicon_l
    
    TypeErrors
    
    Type_l
  - Reduction
    
    Log
    
    Make
    
    Sg
  - Signature
    
    Data_Signature
    
    Log
  - Type_system
    
    Log
    
    SIG_ACCESS
    
    Type_System
    
    Make
    
    Signature
acgtk.datalogLib
- DatalogLib
  - ArrayTraversal
    
    Evaluator_TYPE
    
    Evaluator_TYPE2
    
    Make
    
    E
    
    Make2
    
    E
  - Datalog
    
    ASPred
    
    PredIdTable
    
    ASProg
    
    ASRule
    
    Datalog
    
    Predicate
    
    Premise
    
    Program
    
    Rule
    
    FactArray
    
    UF
    
    Datalog_Sig
    
    Predicate
    
    Premise
    
    Program
    
    Rule
    
    FactArray
    
    UF
    
    Log
    
    Make
    
    Predicate
    
    Premise
    
    Program
    
    Rule
    
    FactArray
    
    UF
    
    _
  - Datalog_AbstractSyntax
    
    AbstractSyntax
    
    Predicate
    
    PredIdTable
    
    Program
    
    Proto_Program
    
    Proto_Rule
    
    Rule
    
    ConstGen
    
    Table
    
    Log
    
    VarGen
    
    Table
  - Dl_lexer
  - Dl_parse_functions
  - Dl_parser
    
    Incremental
    
    MenhirInterpreter
  - Errors
    
    LexingErrors
    
    Lexing_l
    
    SyntaxErrors
    
    Syntax_l
  - Messages
  - PersistentArray
    
    PersistentArray
  - UnionFind
    
    Log
    
    Make
    
    _
    
    S
    
    Store
    
    StoreAsMap
acgtk.dump
- Dump
  - Log
acgtk.grammars
- Grammars
  - AcgcLog
  - Data_lexer
  - Data_parser
    
    Incremental
    
    MenhirInterpreter
  - Errors
    
    LexingErrors
    
    Lexing_l
    
    ParsingErrors
    
    Parsing_l
  - Messages
  - Parsers
  - Term_sequence
    
    Log
  - Term_sequence_parser
acgtk.logic
- Logic
  - Abstract_syntax
    
    Abstract_syntax
  - Lambda
    
    Lambda
  - TypeInference
    
    Log
    
    Type
  - VarUnionFind
    
    Log
    
    UF
    
    Value
acgtk.magicRewriting
- MagicRewriting
  - Adornment
  - Magic
    
    Log
  - Rewriting
    
    Log
  - Rgg
    
    Log
  - Unique_binding
    
    AdornmentTrie
    
    Log
acgtk.scripting
- Scripting
  - AcgLog
  - CodeParser
  - Completion
  - Config
  - Environment
  - Errors
    
    LexingErrors
    
    Lexing_l
    
    ScriptErrors
    
    Script_l
    
    SyntaxErrors
    
    Syntax_l
    
    TypeErrors
    
    Type_l
  - Functions
  - Interpreter
  - Lexer
  - Parser
  - ParserMessages
  - TableParser
    
    Incremental
    
    MenhirInterpreter
  - Value
acgtk.svg_rendering
- Svg_rendering
  - Diagram
  - Rendering_config
  - Show
    
    Lambda_show
    
    _
    
    Make
    
    _
  - Show_colors_solarized_dark
  - Show_embellish_examples
    
    Make
    
    T
  - Show_exts
    
    Show_colors_sig
    
    Show_embellish_sig
    
    Show_text_sig
  - Show_text_dejavu
  - Tree
acgtk.utilsLib
- UtilsLib
  - DependencyManager
    
    Make
    
    Manager_sig
  - Error
    
    ERROR_MANAGER
    
    ErrorManager
    
    E
  - Focused_list
    
    Focused_list
  - IdGenerator
    
    CorrespondanceTableTYPE
    
    IdGen
    
    ID
    
    Table
    
    IdGen_TYPE
    
    Table
    
    IdType
    
    IntIdGen
    
    Table
    
    Log
  - LazyList
  - MessageMg
    
    MSG
    
    Make
    
    M
  - Product
    
    Elt
    
    Make
    
    E
  - SharedForest
    
    Log
    
    Make
    
    W
    
    SharedForest
  - Table
    
    BASE
    
    Make_table
    
    _
    
    TABLE
  - Timer
  - Tries
    
    Tries
  - Utils
  - Version
  - Warnings
  - Weight
    
    Weight_as_Depth
    
    Weight_as_Depth_and_Size
    
    Weight_sig
  - Xlog
    
    Make
    
    _
    
    MyLOG

Legend:
Library
Module
Module type
Parameter
Class
Class type

val inference : 
  Lambda.Lambda.term ->
  Lambda.Lambda.stype
  * (Lambda.Lambda.term * Lambda.Lambda.stype) UtilsLib.Utils.IntMap.t

inference t returns (ty,map) where ty is the type of t and map is a map from int, denoting the index of occurrences of constants considered as free variables (as in Kanazawa's ACG to Datalog reduction), to the constant they replace and their associated infered type.

The indexes of atomic types are negative to denote type variables.