makeCfg | Cubix.Language.Parametric.Semantics.Cfg, Cubix.Essentials |
makeDefaultInstances | Cubix.Language.Parametric.Derive |
makeProgInfo | Cubix.Language.Parametric.ProgInfo |
mapF | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
MarkerAnnotation | Cubix.Language.Java.Parametric.Common |
MatrixMult | Cubix.Language.Python.Parametric.Common |
MatrixMultAssign | Cubix.Language.Python.Parametric.Common |
MaybeF | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
MaybeIdentIsJSIdent | |
1 (Type/Class) | Cubix.Language.JavaScript.Parametric.Common |
2 (Data Constructor) | Cubix.Language.JavaScript.Parametric.Common |
MCCxt | Cubix.Language.C.Parametric.Common |
MCCxtA | Cubix.Language.C.Parametric.Common |
MCSig | |
1 (Type/Class) | Cubix.Language.C.Parametric.Common |
2 (Type/Class) | Cubix.Essentials |
MCTerm | Cubix.Language.C.Parametric.Common, Cubix.Essentials |
MCTermLab | Cubix.Language.C.Parametric.Common, Cubix.Essentials |
MemberClassDecl | Cubix.Language.Java.Parametric.Common |
MemberDecl | |
1 (Type/Class) | Cubix.Language.Java.Parametric.Common |
2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
MemberDeclL | Cubix.Language.Java.Parametric.Common |
MemberInterfaceDecl | Cubix.Language.Java.Parametric.Common |
MethodBody | |
1 (Type/Class) | Cubix.Language.Java.Parametric.Common |
2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
MethodBodyL | Cubix.Language.Java.Parametric.Common |
MethodCall | |
1 (Data Constructor) | Cubix.Language.Lua.Parametric.Common |
2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
MethodDecl | Cubix.Language.Java.Parametric.Common |
MethodInv | Cubix.Language.Java.Parametric.Common |
MethodInvocation | Cubix.Language.Java.Parametric.Common |
MethodInvocationL | Cubix.Language.Java.Parametric.Common |
MethodRef | Cubix.Language.Java.Parametric.Common |
Minus | Cubix.Language.Python.Parametric.Common |
MinusAssign | Cubix.Language.Python.Parametric.Common |
MJavaCxt | Cubix.Language.Java.Parametric.Common |
MJavaCxtA | Cubix.Language.Java.Parametric.Common |
MJavaSig | |
1 (Type/Class) | Cubix.Language.Java.Parametric.Common |
2 (Type/Class) | Cubix.Essentials |
MJavaTerm | Cubix.Language.Java.Parametric.Common, Cubix.Essentials |
MJavaTermLab | Cubix.Language.Java.Parametric.Common, Cubix.Essentials |
MJSCxt | Cubix.Language.JavaScript.Parametric.Common |
MJSCxtA | Cubix.Language.JavaScript.Parametric.Common |
MJSSig | |
1 (Type/Class) | Cubix.Language.JavaScript.Parametric.Common |
2 (Type/Class) | Cubix.Essentials |
MJSTerm | Cubix.Language.JavaScript.Parametric.Common, Cubix.Essentials |
MJSTermLab | Cubix.Language.JavaScript.Parametric.Common, Cubix.Essentials |
mkCSLabelGen | Cubix.Language.Info |
mkSourceSpan | Cubix.Language.Info |
MLuaCxt | Cubix.Language.Lua.Parametric.Common |
MLuaCxtA | Cubix.Language.Lua.Parametric.Common |
MLuaSig | |
1 (Type/Class) | Cubix.Language.Lua.Parametric.Common |
2 (Type/Class) | Cubix.Essentials |
MLuaTerm | Cubix.Language.Lua.Parametric.Common, Cubix.Essentials |
MLuaTermLab | Cubix.Language.Lua.Parametric.Common, Cubix.Essentials |
MLuaTermOptAnn | Cubix.Language.Lua.Parametric.Common |
Mod | Cubix.Language.Lua.Parametric.Common |
ModAssign | Cubix.Language.Python.Parametric.Common |
Modifier | Cubix.Language.Java.Parametric.Common |
ModifierL | Cubix.Language.Java.Parametric.Common |
ModifiersTypeIsMultiLocalVarDeclCommonAttrs | |
1 (Type/Class) | Cubix.Language.Java.Parametric.Common |
2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
Module | |
1 (Type/Class) | Cubix.Language.Python.Parametric.Common |
2 (Data Constructor) | Cubix.Language.Python.Parametric.Common |
ModuleL | Cubix.Language.Python.Parametric.Common |
Modulo | Cubix.Language.Python.Parametric.Common |
MonadAnnotater | Cubix.Sin.Compdata.Annotation |
MonadCfgInsertion | Cubix.Language.Parametric.Semantics.CfgInserter, Cubix.Essentials |
MonadLabeler | Cubix.Language.Info |
MPythonCxt | Cubix.Language.Python.Parametric.Common |
MPythonSig | |
1 (Type/Class) | Cubix.Language.Python.Parametric.Common |
2 (Type/Class) | Cubix.Essentials |
MPythonTerm | Cubix.Language.Python.Parametric.Common, Cubix.Essentials |
MPythonTermLab | Cubix.Language.Python.Parametric.Common, Cubix.Essentials |
Mul | Cubix.Language.Lua.Parametric.Common |
Mult | Cubix.Language.Java.Parametric.Common |
MultA | Cubix.Language.Java.Parametric.Common |
MultAssign | Cubix.Language.Python.Parametric.Common |
MultiLocalVarDecl | |
1 (Type/Class) | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.JavaScript.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
2 (Data Constructor) | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.JavaScript.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
MultiLocalVarDecl' | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.JavaScript.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
MultiLocalVarDeclCommonAttrsL | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.JavaScript.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
MultiLocalVarDeclIsBlockStmt | |
1 (Type/Class) | Cubix.Language.Java.Parametric.Common |
2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
MultiLocalVarDeclIsCCompoundBlockItem | |
1 (Type/Class) | Cubix.Language.C.Parametric.Common |
2 (Data Constructor) | Cubix.Language.C.Parametric.Common |
MultiLocalVarDeclIsJSStatement | |
1 (Type/Class) | Cubix.Language.JavaScript.Parametric.Common |
2 (Data Constructor) | Cubix.Language.JavaScript.Parametric.Common |
MultiLocalVarDeclL | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.JavaScript.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
Multiply | Cubix.Language.Python.Parametric.Common |