class basic_hlpsl_role :Inheritsobject
..end
val mutable player : int
method get_player : int
method set_player : int -> unit
val mutable actions : (bool * hlpsl_transition) list
method add_action : bool * hlpsl_transition -> unit
method set_actions : (bool * hlpsl_transition) list -> unit
method get_actions : (bool * hlpsl_transition) list