Boolean.Assert
val (=) : var -> var -> unit Checked.t
val is_true : var -> unit Checked.t
val any : var list -> unit Checked.t
val all : var list -> unit Checked.t
val exactly_one : var list -> unit Checked.t