sig
  val plan : int -> unit
  val no_plan : unit -> unit
  val ok : ?todo:string -> bool -> string -> unit
  val is : ?todo:string -> 'a -> 'a -> string -> unit
  val diag : string -> unit
end