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