Class Types.call_type


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