sig

  type t

  type style

  val create :

    ?state:bool -> ?style:Bogue.Check.style -> unit -> Bogue.Check.t

  val state : Bogue.Check.t -> bool

end