Types.call_type ->
object ('a)
  val mutable accept_state : Types.if_state
  val mutable actions : Types.if_rule list
  val mutable composition : 'Types._type_of_composition
  val mutable initial_state : Types.if_state
  val mutable name : int
  val mutable session_Id : int
  val mutable variable_instances : int list
  method add_to_actions : Types.if_rule -> unit
  method get_accept_state : Types.if_state
  method get_actions : Types.if_rule list
  method get_composition : 'Types._type_of_composition
  method get_initial_state : Types.if_state
  method get_name : int
  method get_session_Id : int
  method get_variable_instances : int list
  method set_accept_state : Types.if_state -> unit
  method set_actions : Types.if_rule list -> unit
  method set_composition : 'Types._type_of_composition -> unit
  method set_initial_state : Types.if_state -> unit
  method set_name : int -> unit
  method set_session_Id : int -> unit
  method set_variable_instances : int list -> unit
end