public Def(DefId name, List <CtxExt> ctxExts, Expr retTy, Expr body) { Name = name; _ctxExts = ctxExts; RetTy = retTy; Body = body; }
public LetExpr(DefId name, Expr type, Expr val, Expr body) { Name = name; Type = type; Val = val; Body = body; }
public CtxExt(DefId name, Expr type) { Name = name; Type = type; }