Module Include.A

type t
val f : t -> t
val g : t -> t