Bool.Assert
val is_true : pos:(string * int * int * int) -> t -> unit
val any : pos:(string * int * int * int) -> t list -> unit