definition module StrictnessPropagation

import SaplParser, Flavour

doStrictnessPropagation :: !ParserState !Flavour ![FuncType] -> (![FuncType], !ParserState)