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