Module Printinstr
val instruction : Format.formatter -> Instruct.instruction -> unitval instrlist : Format.formatter -> Instruct.instruction list -> unitPrintinstrval instruction : Format.formatter -> Instruct.instruction -> unitval instrlist : Format.formatter -> Instruct.instruction list -> unit