1 2 3 4 5 6 7 8 9
(*i $Id$ i*) open Names open Term val close : global_reference list -> global_reference list val module_env : identifier -> global_reference list