public StringTypeDef(LayeTypeDef type)
: base(type)
{
type.PutPrefix("#", (LayeCallback)((state, ths, args) => new LayeInt((ths as LayeString).value.Length)));
type.PutInfix("*", (LayeCallback)Infix__repeat);
}
public IntTypeDef(LayeTypeDef type)
: base(type)
{
type.PutPrefix("#", (LayeCallback)Prefix__DigitCount);
}
