Exceptions
Names
Comments
OutOfSpace
PastEnd
raised if no space left for a new node
PastBegin
raised if a Position is past the end
EmptyInstances
raised if a Position is before the begin
[
Manual root
]
Created by
SHtoHTML
v1.26