lib:ogma-language-smv

Modules

• Language.SMV.AbsSMV
• Language.SMV.LexSMV
• Language.SMV.ParSMV
• Language.SMV.PrintSMV
• Language.SMV.Substitution

Dependencies

• array lib:array >=0.5.2.0
• base lib:base >=4.11.0.0 && <5

Reverse dependencies

Direct only. Not exhaustive.

• ogma-core lib:ogma-core
• ogma-language-smv test:unit-tests