camfort-0.900: CamFort - Cambridge Fortran infrastructure
Camfort.Specification.Stencils.Synthesis
formatSpec :: Maybe String -> NameMap -> (SrcSpan, Either [([Variable], Specification)] (String, Variable)) -> String Source #
a :: Analysis Annotation Source #
s :: SrcSpan Source #
offsetToIx :: Name -> Int -> Index (Analysis A) Source #