Exemplo n.º 1
0
        static public SpecTerm <Name> NewNameSpec(params string[] ops)
        {
            var ret = new Name[ops.Length];

            foreach (var i in Range(0, ops.Length))
            {
                ret[i] = LexToken.NewName(ops[i]);
            }
            return(new SpecTerm <Name>(ret));
        }
Exemplo n.º 2
0
        static public SpecTerm <Operator> NewOperatorSpec(params string[] ops)
        {
            var ret = new Operator[ops.Length];

            foreach (var i in Range(0, ops.Length))
            {
                ret[i] = LexToken.NewOperator(ops[i]);
            }
            return(new SpecTerm <Operator>(ret));
        }