--- /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 ;;
+