verifiable-expressions-0.4.0: Language/Expression/Util.hs
module Language.Expression.Util where (...) :: (c -> d) -> (a -> b -> c) -> (a -> b -> d) (f ... g) x y = f (g x y)
module Language.Expression.Util where (...) :: (c -> d) -> (a -> b -> c) -> (a -> b -> d) (f ... g) x y = f (g x y)