sig
  val pp_print_path_xml :
    TransSys.t ->
    TransSys.instance list ->
    LustreNode.t SubSystem.t ->
    bool -> Format.formatter -> Model.path -> unit
  val pp_print_path_pt :
    TransSys.t ->
    TransSys.instance list ->
    LustreNode.t SubSystem.t ->
    bool -> Format.formatter -> Model.path -> unit
  val pp_print_path_json :
    TransSys.t ->
    TransSys.instance list ->
    LustreNode.t SubSystem.t ->
    bool -> Format.formatter -> Model.path -> unit
  val pp_print_path_in_csv :
    TransSys.t ->
    TransSys.instance list ->
    LustreNode.t SubSystem.t ->
    bool -> Format.formatter -> Model.path -> unit
  val substitute_definitions_in_expr :
    LustreNode.equation list -> LustreExpr.t -> LustreExpr.t
  val reconstruct_lustre_streams :
    LustreNode.t SubSystem.t ->
    StateVar.t list ->
    (StateVar.t * (LustreIdent.t * int * LustreNode.call_cond list) list)
    list StateVar.StateVarMap.t
end