chickadee » static-modules » ident-add

Identifier search

ident-add IDENT DATA IDENVprocedure: Adds the given identifier and associated data to the given identifier environment.