sig
  type t = BRS | PBRS | SBRS
  exception EXPORT_ERROR of string
  val to_string : Rs.t -> string
  val to_string_ext : Rs.t -> string
  val sim_type : Rs.t -> string
  val ts_type : Rs.t -> string
  val limit_type : Rs.t -> string
  val limit_msg : Rs.t -> string
  val module_id : Rs.t -> string
end