module type T = sig
  (* Abstract Representation of ``code'' *)
  type 'b abstract
end