Module Foo__.C

type t
val id : t -> t