definition module Sapl.Optimization.StrictnessPropagation

import Sapl.SaplParser, Sapl.Target.Flavour

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