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