sig
  type t = Tools.trx
  val make : (Bitstring.bitstring -> 'a) -> Tools.trx
end