3 module A = AbcOut.Make(LowInst)
4 module D = AbcIn.Make(LowInst)
5 module C = MethodOut.Make(HighInst)
7 type t = LowInst.t AbcType.t
8 type meth = HighInst.s MethodType.method_
11 let write : t -> int list =
12 BytesOut.to_int_list $ A.to_bytes
14 let read : int Stream.t -> t =
17 let compile : Cpool.multiname list -> meth -> t =