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