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