1 2 3 4 5 6
(* Pretty-print lists of instructions *) open Instruct val instruction: instruction -> unit val instrlist: instruction list -> unit