ideas-math-types-1.1: Common types for mathematical domain reasoners (Index - O)

ideas-math-types-1.1: Common types for mathematical domain reasoners

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

Index - O

one	Domain.Algebra.Field
oneDisjunct	Domain.Math.Data.OrList
open	Domain.Math.Data.Interval
Or
1 (Type/Class)	Domain.Algebra.Boolean, Domain.Logic.Formula
2 (Data Constructor)	Domain.Algebra.Boolean, Domain.Logic.Formula
OrList	Domain.Math.Data.OrList
orListView	Domain.Math.Data.OrList
orOverAndLaws	Domain.Algebra.BooleanLaws
ors	Domain.Algebra.Boolean, Domain.Logic.Formula
OrSet	Domain.Math.Data.OrList
orSetView	Domain.Math.Data.OrList
orSymbol	Domain.Logic.Formula
orView	Domain.Logic.Views