val load_aux_file_for : string -> aux_filemodule H : Stdlib.Map.S with type key = int * intmodule M : Stdlib.Map.S with type key = stringval contents : aux_file -> string M.t H.tval aux_file_name_for : string -> stringval start_aux_file : aux_file:string -> v_file:string -> unitval stop_aux_file : unit -> unitval recording : unit -> boolval record_in_aux_at : ?loc:Loc.t -> string -> string -> unitval record_in_aux : string -> string -> unitval record_in_aux_set_at : ?loc:Loc.t -> unit -> unit