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

Camfort.Specification.Hoare.Parser

Documentation

hoareParser :: SpecParser HoareParseError (SpecOrDecl ()) Source #