Exemplos de MonaDeclKind em C# (CSharp)

Exemplo n.º 1

Arquivo: AST.cs Projeto: AutomataDotNet/Automata

 internal MonaVarDecls(MonaDeclKind kind, Cons<Token> univs, Cons<MonaVarWhere> vars)
     : base(kind)
 {
     this.univs = univs;
     this.vars = vars;
 }

Exemplo n.º 2

Arquivo: AST.cs Projeto: AutomataDotNet/Automata

 internal MonaDecl(MonaDeclKind kind)
 {
     this.kind = kind;
 }

Exemplo n.º 3

Arquivo: AST.cs Projeto: AutomataDotNet/Automata

 internal MonaVarDecl(MonaDeclKind kind, Cons<Token> univs, MonaVarWhere vw)
     : base(kind)
 {
     this.univs = univs;
     this.varwhere = vw;
 }