Module Annot.Method

type t = {
return : Item.t;
params : Item.t list;
}

Annotation for a method: return value and list of parameters.

val empty : t

Empty method annotation.

val is_empty : t -> bool

Check if the method annotation is empty.

val pp : string -> F.formatter -> t -> unit

Pretty print a method annotation.