A | |
| ABDRULE [Sigs] | |
| ABDUCER [Sigs] | |
B | |
| BasicType [Utilsigs] |
Most types for use in containers, maps and other stuff must provide the
above essential methods.
|
D | |
| DEFS [Sigs] |
Inductive definitions signature.
|
H | |
| HashedType [Hashset] | |
I | |
| I [VarManager] | |
N | |
| NODE [Sigs] |
Proof node signature.
|
O | |
| OrderedContainer [Utilsigs] |
A (persistent) ordered container, generalising the standard
Set container.
|
| OrderedMap [Utilsigs] |
An ordered map, extending the standard
Map module.
|
P | |
| PROOF [Sigs] |
Proof signature.
|
| PROOFRULE [Sigs] | |
| PROVER [Sigs] | |
S | |
| S [Sl_unify] | |
| S [VarManager] | |
| S [Containers] |
The signature of the containers collection.
|
| S [Hashset] |
The output signature of the functor
Hashset.Make.
|
| SEQTACTICS [Sigs] | |
| SEQUENT [Sigs] |
Sequent signature used as input to most functors in Cyclist.
|
| SubstSig [VarManager] |