type t val c : t val moo : t -> unit