_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 ;;