| makeCfg | Cubix.Language.Parametric.Semantics.Cfg, Cubix.Essentials |
| makeDefaultInstances | Cubix.Language.Parametric.Derive |
| makeProgInfo | Cubix.Language.Parametric.ProgInfo, Cubix.Essentials |
| 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 |
| MarkerAnnotation' | Cubix.Language.Java.Parametric.Common |
| MatrixMult | Cubix.Language.Python.Parametric.Common |
| MatrixMult' | Cubix.Language.Python.Parametric.Common |
| MatrixMultAssign | 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 |
| MaybeIdentIsJSIdent' | 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 |
| MemberClassDecl' | Cubix.Language.Java.Parametric.Common |
| MemberDecl | |
| 1 (Type/Class) | Cubix.Language.Java.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
| MemberDecl' | Cubix.Language.Java.Parametric.Common |
| MemberDeclL | Cubix.Language.Java.Parametric.Common |
| MemberInterfaceDecl | 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 |
| MethodBody' | 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 |
| MethodCall' | |
| 1 (Data Constructor) | Cubix.Language.Lua.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
| MethodDecl | Cubix.Language.Java.Parametric.Common |
| MethodDecl' | Cubix.Language.Java.Parametric.Common |
| MethodInv | 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 |
| MethodRef' | Cubix.Language.Java.Parametric.Common |
| Minus | Cubix.Language.Python.Parametric.Common |
| Minus' | Cubix.Language.Python.Parametric.Common |
| MinusAssign | 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 |
| mkConcurrentSupplyLabelGen | 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.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| Mod' | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| ModAssign | Cubix.Language.Python.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 |
| ModifiersTypeIsMultiLocalVarDeclCommonAttrs' | Cubix.Language.Java.Parametric.Common |
| ModOp | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| Module | |
| 1 (Type/Class) | Cubix.Language.Python.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Python.Parametric.Common |
| Module' | Cubix.Language.Python.Parametric.Common |
| ModuleL | Cubix.Language.Python.Parametric.Common |
| Modulo | Cubix.Language.Python.Parametric.Common |
| Modulo' | Cubix.Language.Python.Parametric.Common |
| MonadAnnotater | Cubix.Sin.Compdata.Annotation, Cubix.Essentials |
| MonadCfgInsertion | Cubix.Language.Parametric.Semantics.CfgInserter, Cubix.Essentials |
| 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 |
| MPythonTermAnn | Cubix.Language.Python.Parametric.Common |
| MPythonTermLab | Cubix.Language.Python.Parametric.Common, Cubix.Essentials |
| Mul | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| Mul' | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| Mult | Cubix.Language.Java.Parametric.Common |
| Mult' | Cubix.Language.Java.Parametric.Common |
| MultA | Cubix.Language.Java.Parametric.Common |
| MultA' | Cubix.Language.Java.Parametric.Common |
| MultAssign | Cubix.Language.Python.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 |
| MultiLocalVarDeclIsBlockStmt' | Cubix.Language.Java.Parametric.Common |
| MultiLocalVarDeclIsCCompoundBlockItem | |
| 1 (Type/Class) | Cubix.Language.C.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.C.Parametric.Common |
| MultiLocalVarDeclIsCCompoundBlockItem' | Cubix.Language.C.Parametric.Common |
| MultiLocalVarDeclIsJSStatement | |
| 1 (Type/Class) | Cubix.Language.JavaScript.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.JavaScript.Parametric.Common |
| MultiLocalVarDeclIsJSStatement' | 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 |
| Multiply' | Cubix.Language.Python.Parametric.Common |