type t

val d : t
val moo : t -> unit