lean-bindings-0.1: Haskell bindings to the Lean Theorem Prover. (Index - D)

lean-bindings-0.1: Haskell bindings to the Lean Theorem Prover.

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
:
<
All

Index - D

Decl	Language.Lean.Internal.Decl, Language.Lean.Decl, Language.Lean
declName	Language.Lean.Decl, Language.Lean
DeclPtr	Language.Lean.Internal.Decl
declType	Language.Lean.Decl, Language.Lean
declUnivParams	Language.Lean.Decl, Language.Lean
DeclView	Language.Lean.Decl, Language.Lean
declView	Language.Lean.Decl, Language.Lean
decodeLeanString	Language.Lean.Internal.String
Definition	Language.Lean.Decl, Language.Lean
definition	Language.Lean.Decl, Language.Lean
definitionWith	Language.Lean.Decl, Language.Lean
doubleOption	Language.Lean.Options, Language.Lean