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));
}
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));
}