camfort-1.1.1: CamFort - Cambridge Fortran infrastructure
Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Hoare.Lexer

Synopsis

Documentation

lexer :: String -> HoareSpecParser [Token] Source #

Lex an invariant annotation.