module Method: sig .. end
sig
end
type ('a, 'c) desc = {
('a, 'c)
name : string;
string
send : 'c -> 'a;
'c -> 'a
bound : int;
int
ty : 'a Ty.T.ty;
'a Ty.T.ty
type 'c t =
'c
|
Method : ('a, 'c0) desc -> 'c0 t
('a, 'c0) desc
'c0 t