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