(* $Id$ *)

open Term

val objdef_declare : global_reference -> unit