functor (I : Ode_interface_sig.Interface) ->
  sig
    type ode_var_id
    type ('a, 'b) network
    type enriched_rule
    type rule_id
    type connected_component_id
    val get_preprocessed_ast : Run_cli_args.t -> I.preprocessed_ast
    val get_ast : Run_cli_args.t -> I.ast
    val to_ast : I.ast -> Ast.parsing_compil
    val preprocess : Run_cli_args.t -> I.ast -> I.preprocessed_ast
    val get_compil :
      ?bwd_bisim:LKappa_group_action.bwd_bisim_info ->
      rule_rate_convention:Remanent_parameters_sig.rate_convention ->
      ?reaction_rate_convention:Remanent_parameters_sig.rate_convention ->
      show_reactions:bool ->
      count:Ode_args.count ->
      compute_jacobian:bool ->
      Run_cli_args.t -> I.preprocessed_ast -> I.compil
    val init :
      I.compil ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network
    val reset :
      I.compil ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network
    val network_from_compil :
      ?max_size:int ->
      dotnet:bool ->
      smash_reactions:bool ->
      ignore_obs:bool ->
      Remanent_parameters_sig.parameters ->
      I.compil ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network
    val get_reactions :
      ('a, 'b) Odes.Make.network ->
      ((Odes.Make.ode_var_id list * Odes.Make.ode_var_id list *
        Odes.Make.ode_var_id Locality.annot list * I.rule) *
       int)
      list
    val export_network :
      command_line:string ->
      command_line_quotes:string ->
      ?data_file:string ->
      ?init_t:float ->
      max_t:float ->
      ?plot_period:float ->
      ?compute_jacobian:bool ->
      ?propagate_constants:bool ->
      ?show_time_advance:bool ->
      ?nonnegative:bool ->
      ?initial_step:float ->
      ?max_step:float ->
      ?abstol:float ->
      ?reltol:float ->
      Remanent_parameters_sig.parameters ->
      Loggers.t ->
      Loggers.t ->
      Loggers.t ->
      I.compil ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network
    val get_comment : Odes.Make.enriched_rule -> string
    val get_rule_id_with_mode :
      Odes.Make.enriched_rule ->
      Odes.Make.rule_id * Rule_modes.arity * Rule_modes.direction
    val get_rule : Odes.Make.enriched_rule -> I.rule
    val get_lhs : Odes.Make.enriched_rule -> I.pattern
    val get_lhs_cc :
      Odes.Make.enriched_rule ->
      (Odes.Make.connected_component_id * I.connected_component) list
    val get_divide_rate_by : Odes.Make.enriched_rule -> int
    val compute_symmetries_from_model :
      Remanent_parameters_sig.parameters ->
      I.compil ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network ->
      Public_data.contact_map ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network
    val set_to_backward_symmetries_from_model :
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network
    val set_to_forward_symmetries_from_model :
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network
    val print_symmetries :
      Remanent_parameters_sig.parameters ->
      I.compil ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network ->
      unit
    val get_data :
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network ->
      int * int * int
    val init_bwd_bisim_info :
      I.compil ->
      (Odes.Make.ode_var_id, Ode_loggers_sig.ode_var_id) Odes.Make.network ->
      LKappa_group_action.bwd_bisim_info option
  end