Module type Include.ToBeIncluded

type t
val f : t -> t

The description of f