sig
  val of_channel : Pervasives.in_channel -> TransSys.t SubSystem.t
  val of_file : string -> TransSys.t SubSystem.t
  val pp_print_native : Format.formatter -> TransSys.t -> unit
  val dump_native_to : TransSys.t -> string -> unit
  val dump_native : TransSys.t -> unit
end