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