let pp_axiomdef_descr fmt a = if a.a_memory <> [] then begin Format.fprintf fmt "Memory parameters: " ; UserDefinition.pp_userformals fmt a.a_memory ; end