Module Include.B

type t
val f : t -> t

The description of f

val g : t -> t