1signature ppc_encodeLib = 2sig 3 4 val ppc_encode : string -> string 5 val ppc_supported_instructions : unit -> string list 6 7end 8