val f : f:(string[@att]) (** doc *) -> unit
val f : f:(string[@att]) (** doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc *) -> unit
val f : f:(string[@att]) -> unit
val f : f:string (** doc *) -> unit

val f : f:((string * string)[@att]) (** doc *) -> unit
val f : f:((string * string)[@att]) (** doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc doc *) -> unit
val f : f:((string * string)[@att]) -> unit
val f : f:((string * string)) (** doc *) -> unit

val f : t/1 -> f:(unit -> unit t/2) -> unit M/2.t
