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

ConstDef() public method

public ConstDef ( FastToken name, FastToken sort, FExp expr ) : System
name FastToken
sort FastToken
expr FExp
return System
        public ConstDef(FastToken name, FastToken sort, FExp expr)
            : base(DefKind.Const)
        {
            this.name = name;
            this.sort = FastSort.GetSort(sort);
            this.expr = expr;
        }