Types.call_type ->
object ('a)
val mutable accept_state : Types.if_state
val mutable actions : Types.if_rule list
val mutable composition : 'a 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 : 'a 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 : 'a 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