camfort-0.904: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Stencils.Synthesis

Synopsis

Documentation

formatSpecNoComment :: (SrcSpan, Either [([Variable], Specification)] (String, Variable)) -> String Source #

Format inferred specifications, but do not format as a comment.