Module C.B

type t = int
val f : t -> t