type t

val s : t
val baa : t -> unit