let pp_axiomdef_descr fmt a = Format.fprintf fmt "Axiom %s%a@\n" a.a_name Axiomatics.pp_labels a.a_labels ; Format.fprintf fmt "Locations:" ; pp_closures fmt a.a_implicit a.a_closure