Documentation

infer :: Bool -> Char -> ProgramFile Annotation -> StencilsAnalysis StencilsReport Source #

check :: ProgramFile Annotation -> StencilsAnalysis CheckResult Source #

synth :: Char -> [ProgramFile A] -> StencilsAnalysis [ProgramFile A] Source #