Naming Conventions
General
The type T is used when you are in a signature and you want to refer to the of the object that the signature talks about.
get_XXX d is used for getting attribute or characteristic XXX of an object.
update_XXX f d applies f to characteristic XXX of d, changing it however f is supposed to change it.
set_XXX a d sets the characteristic XXX of d to a. Usually set_XXX = update_XXX o K. Recall that K a b = b. (See ../HigherOrderMagic)
Contextual Information
Functions that operate on the kind of data held in the contextual information end in "_i"
Functions that work on the reasoning have no speical postfix. Neither do functions that work on the data in a goal in the reasoning state.
Functions that work on the reasoning states general CInfo end in "_cinfo"