MiniAgda (Index - O)

MiniAgda

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
$
+
<
=
\
All

Index - O

o1	TreeShapedOrder
One	TCM
OneConstructor	Eval
OneOrTwo	TCM
oneOrTwo	TCM
oone	Warshall
oplus	Warshall
optInputs	Options
Options
1 (Type/Class)	Options
2 (Data Constructor)	Options
options	Options
Order	Termination
orderMat	Termination
ordRing	Termination
orM	TraceError
otimes	Warshall
overlap	Abstract
overlaps	Abstract
Override	Abstract
OverrideDecl
1 (Data Constructor)	Abstract
2 (Data Constructor)	Concrete
ozero	Warshall