private ExprParamPair GenDefun(Defun stmt) { Contract.Requires <ArgumentNullException>(stmt != null); Contract.Ensures(Contract.Result <ExprParamPair>() != null); var gen = new DefunGen(this); return(gen.Generate(stmt)); }
private ExprParamPair GenDefun(Defun stmt) { Contract.Requires<ArgumentNullException>(stmt != null); Contract.Ensures(Contract.Result<ExprParamPair>() != null); var gen = new DefunGen(this); return gen.Generate(stmt); }