File tree
276 files changed
+516
-18530
lines changed- _sources
- _static
- css
- fonts
- fonts
- Lato
- RobotoSlab
- js
- elpi
- Elpi_compiler
- Compiler_data
- Arity
- MutableOnce
- QuotationHooks
- ScopeContext
- ScopeTypeExpressionUniqueList
- ScopedTerm
- QTerm
- SimpleTerm
- ScopedTypeExpression
- SimpleType
- Scope
- Map
- Set
- SymbolResolver
- TypeAssignment
- TypingEnv
- Compiler
- IntervalTree
- Determinacy_checker
- Spilling
- Type_checker
- Elpi_lexer_config
- Lexer_config
- Tokens
- Elpi_parser
- Ast
- Chr
- Clause
- Func
- Map
- Set
- Goal
- Macro
- Mode
- Program
- Structured
- Term
- TypeAbbreviation
- TypeExpression
- Type
- Error_messages
- Grammar
- Make
- argument-1-C
- Lexer
- Parser_config
- module-type-ParseFile
- Parse
- Make
- Internal
- argument-1-C
- module-type-Config
- module-type-Parser_w_Internals
- Internal
- module-type-Parser
- Elpi_runtime
- Bl
- Data
- BuiltInPredicate
- ADT
- CHR
- CalcHooks
- ContextualConversion
- Conversion
- Global_symbols
- HoasHooks
- State
- Symbol
- QMap
- RawMap
- UF
- KeySet
- Term
- C
- Discrimination_tree
- Internal
- Path
- Ptmap
- Runtime_trace_off
- CompileTime
- Indexing
- Pp
- Runtime
- CompileTime
- Indexing
- Pp
- Elpi_util
- Union_find
- Make
- KeySet
- argument-1-O
- module-type-S
- KeySet
- Util
- Bool
- CData
- Constants
- Map
- Set
- Digest
- Fork
- Hashtbl
- MakeSeeded
- argument-1-H
- Make
- argument-1-H
- module-type-HashedType
- module-type-SeededHashedType
- module-type-SeededS
- module-type-S
- IntMap
- IntSet
- Int
- Loc
- Map
- Make
- argument-1-Ord
- module-type-OrderedType
- module-type-S
- Mode
- Set
- Make
- argument-1-Ord
- module-type-OrderedType
- module-type-S
- StrMap
- StrSet
- String
- UUID
- Htbl
- module-type-Mode
- module-type-Show1
- module-type-Show2
- module-type-ShowKey
- module-type-Show
- Elpi
- API
- AlgebraicData
- Ast
- Loc
- Name
- Map
- Set
- Opaque
- Scope
- Term
- Type
- BuiltInData
- BuiltInPredicate
- HOAdaptors
- Notation
- BuiltIn
- Calc
- Compile
- IntervalTree
- StrSet
- ContextualConversion
- Conversion
- Data
- Execute
- FlexibleData
- Elpi
- Map
- argument-1-Host
- module-type-Host
- module-type-Show
- OpaqueData
- Parse
- Pp
- Ast
- Quotation
- RawData
- Constants
- RawOpaqueData
- RawPp
- Debug
- RawQuery
- Setup
- StrMap
- State
- Utils
- IntSet
- LocSet
- Map
- Make
- argument-1-Ord
- module-type-OrderedType
- module-type-S
- Set
- Make
- argument-1-Ord
- module-type-OrderedType
- module-type-S
- module-type-Show1
- module-type-ShowKey
- module-type-Show
- Builtin_map
- Builtin_set
- Builtin_stdlib
- Builtin
- Trace_ppx_runtime
- Runtime
- Trace_ppx
- odoc.support
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
276 files changed
+516
-18530
lines changedThis file was deleted.
This file was deleted.
0 commit comments