Microsoft.Fast.AST.BuiltinTransExp.BuiltinTransExp C# (CSharp) Method

BuiltinTransExp Class Documentation Show file Open project: AutomataDotNet/Automata

BuiltinTransExp() public method

public BuiltinTransExp ( FastToken func, int arity, BuiltinTransExpKind kind ) : System
func FastToken
arity int
kind BuiltinTransExpKind
return System 
        public BuiltinTransExp(FastToken func, int arity, BuiltinTransExpKind kind)
            : base(func, arity)
        {
            this.kind = kind;
        }
BuiltinTransExp
BTECheckSorts
BuiltinTransExp