Module Checkct.ChosenValues

type t = bool
val set : t -> unit
val get : unit -> t
val is_set : unit -> bool
val is_default : unit -> bool