3 Simplify simplBind simplExpr;
5 1 simplBind _:_ SimplEnv.SimplEnv
7 -> (SimplEnv.SimplEnv -> SimplMonad.SmplM SimplEnv.OutExpr)
9 -> SimplMonad.SmplM SimplEnv.OutExpr ;;
10 1 simplExpr _:_ SimplEnv.SimplEnv
11 -> SimplEnv.InExpr -> [SimplEnv.OutArg]
13 -> SimplMonad.SmplM SimplEnv.OutExpr ;;