Nil
collection
collection
Node
synthesis
AVLTree
LeftistHeap
NodeToAVLTree
AVLTree
None
lang
neverHolds
ProofOps
next
Iterator
ListIterator
noBody
isabelle
nonEmpty
List
Option
List
nonZero
Rational
not_has_descendant
AHeap
numerator
Rational