+++ /dev/null
-_interface_ Simplify 1
-_exports_
-Simplify simplBind simplExpr;
-_declarations_
-1 simplBind _:_ SimplEnv.SimplEnv
- -> SimplEnv.InBinding
- -> (SimplEnv.SimplEnv -> SimplMonad.SmplM SimplEnv.OutExpr)
- -> SimplEnv.OutType
- -> SimplMonad.SmplM SimplEnv.OutExpr ;;
-1 simplExpr _:_ SimplEnv.SimplEnv
- -> SimplEnv.InExpr -> [SimplEnv.OutArg]
- -> SimplEnv.OutType
- -> SimplMonad.SmplM SimplEnv.OutExpr ;;
-