eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions. (Index - O)

eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.

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

Index - O

Object	Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
ObjectAction	Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
ObjectAttr	Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
objectBindings	Language.EO.Phi.Rules.Common
ObjectDispatch	Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
objectHasMetavars	Language.EO.Phi.Rules.Yaml
ObjectHead	Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
objectLabelIds	Language.EO.Phi.Rules.Yaml
ObjectMetaId
1 (Type/Class)	Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
2 (Data Constructor)	Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi
objectMetaIds	Language.EO.Phi.Rules.Yaml
ObjectMetrics
1 (Type/Class)	Language.EO.Phi.Metrics.Data
2 (Data Constructor)	Language.EO.Phi.Metrics.Data
objectSize	Language.EO.Phi.Rules.Common
OneHoleContext
1 (Type/Class)	Language.EO.Phi.Rules.Yaml
2 (Data Constructor)	Language.EO.Phi.Rules.Yaml
outerFormations	Language.EO.Phi.Rules.Common