trie - Create a new type-trie object
/name -> /name typetrie
/square trie
[/doubletype] { dup mul } addtotrie def
Create a new typetrie with internal
name /name. This object is not bound to /name in the
current dictionary. This has to be done by an explicit def.
Marc-Oliver
/var/www/debian/nest/nest-simulator-2.20.0/sli/slitypecheck.cc