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