import mletr: (Int->((List (Id # Expr))->((List (Id # Expr))->(Expr->(Int # Expr))))) {# ARITY _ = 4 #}{# STRICTNESS _ = "T,F" ST #};
import mlet: (Int->((List (Id # Expr))->((List (Id # Expr))->(Expr->(Int # Expr))))) {# ARITY _ = 4 #}{# STRICTNESS _ = "T,F" ST #};