id:int ->
args_list:Types.atoms_type Types.term_structure list ->
object
  val mutable args : Types.atoms_type Types.term_structure list
  val mutable role : int
  method get_args : Types.atoms_type Types.term_structure list
  method get_role : int
  method set_args : Types.atoms_type Types.term_structure list -> unit
  method set_role : int -> unit
end