127128129130131132133134135136137
register(new DbCollect()); register(new DbSource()); // data structure builders/converters register(new Arg()); register(new NewFun()); register(new GetArity()); register(new NameToChars()); register(new CharsToName()); register(new NumberVars());