method pretty fmt =
      if captured then Format.pp_print_string fmt "[captured]" ;
      Format.pp_print_string fmt axdef.a_name ;
      List.iter (fun s -> pp_partial fmt s) partials