let display fmt f = Format.fprintf fmt "=========INOUT CONTEXT START=======@\n"; Inthash.iter (display_one fmt) f; Format.fprintf fmt "=========INOUT CONTEXT END=======@\n"