ogma-language-lustre-1.12.0: Ogma: Runtime Monitor translator: Lustre Language Frontend

Safe Haskell	None
Language	Haskell2010

Language.Lustre.ParLustre

Documentation

happyError :: [Token] -> Err a Source #

myLexer :: String -> [Token] Source #

pBoolSpec :: [Token] -> Err BoolSpec Source #