Module Include.A

include ToBeIncluded
type t
val f : t -> t

The description of f

val g : t -> t