Index
| ExternalVariableDef | |
| 1 (Type/Class) | Data.OgmaSpec |
| 2 (Data Constructor) | Data.OgmaSpec |
| externalVariableName | Data.OgmaSpec |
| externalVariables | Data.OgmaSpec |
| externalVariableType | Data.OgmaSpec |
| InternalVariableDef | |
| 1 (Type/Class) | Data.OgmaSpec |
| 2 (Data Constructor) | Data.OgmaSpec |
| internalVariableExpr | Data.OgmaSpec |
| internalVariableName | Data.OgmaSpec |
| internalVariables | Data.OgmaSpec |
| internalVariableType | Data.OgmaSpec |
| Requirement | |
| 1 (Type/Class) | Data.OgmaSpec |
| 2 (Data Constructor) | Data.OgmaSpec |
| requirementDescription | Data.OgmaSpec |
| requirementExpr | Data.OgmaSpec |
| requirementName | Data.OgmaSpec |
| requirementResultExpr | Data.OgmaSpec |
| requirementResultType | Data.OgmaSpec |
| requirements | Data.OgmaSpec |
| Spec | |
| 1 (Type/Class) | Data.OgmaSpec |
| 2 (Data Constructor) | Data.OgmaSpec |