Module Include.B

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