Esempi in C# (CSharp) per QT DefId

Esempio n. 1

File: Ast.cs Progetto: mbid/qt

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

Esempio n. 2

File: Ast.cs Progetto: mbid/qt

 public LetExpr(DefId name, Expr type, Expr val, Expr body)
 {
     Name = name;
     Type = type;
     Val  = val;
     Body = body;
 }

Esempio n. 3

File: Ast.cs Progetto: mbid/qt

 public CtxExt(DefId name, Expr type)
 {
     Name = name;
     Type = type;
 }