1024">
Learn
Packages
Community
Blog
Playground
Learn
Packages
Community
Blog
Playground
Get started
lambdapi
2.3.0
2.2.1
2.2.0
2.1.0
2.0.0
1.0
Documentation
lambdapi.pure lib
Pure
.
Command
Module
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
side menu
package lambdapi
lambdapi.common
Common
Console
State
Debug
D
Error
Escape
Library
LibMap
Logger
Path
Map
Path
Set
Pos
lambdapi.core
Core
Builtin
Ctxt
Env
Eval
Infer
Inverse
LibMeta
LibTerm
Print
Sig_state
Sign
Term
Meta
MetaMap
MetaSet
Raw
Sym
SymMap
SymSet
Var
VarMap
VarSet
Tree
CM
CP
PSet
Tree_type
TC
TCMap
Unif
Unif_rule
Version
lambdapi.export
Export
Dk
Hrs
Xtc
lambdapi.handle
Handle
Command
Compile
PureUpToSign
Inductive
Proof
Goal
Query
Rewrite
Tactic
Why3_tactic
lambdapi.lplib
Lplib
Array
Base
Int
Color
Extra
IntMap
IntSet
StrMap
StrSet
Filename
List
Option
Range
RangeMap
Make
1-R
Range
RangeMap_intf
S
Range
Range_intf
S
String
lambdapi.lsp
Lsp
Lp_doc
Lp_lsp
Lsp_base
Lsp_io
lambdapi.parsing
Parsing
DkBasic
WS
DkLexer
DkParser
DkRule
DkTokens
LpLexer
LpParser
Package
Parser
Dk
Lp
PARSER
Pratt
Pratt
Pretty
Scope
Syntax
P
lambdapi.pure
Pure
Command
ProofTree
Tactic
lambdapi.tool
Tool
External
Lcr
Sr
Tree_graphviz
Legend:
Library
Module
Module type
Parameter
Class
Class type
type
t
val
equal :
t
->
t
->
bool
val
get_pos :
t
->
Common.Pos.popt
val
print :
t
Lplib.Base.pp