(* entry: line number, parameters, name, type, (transparent?, body) *)
type entry = int * pars * uri * term * (bool * term) option
(* entry: line number, parameters, name, type, (transparent?, body) *)
type entry = int * pars * uri * term * (bool * term) option