Up – sponge » Sponge » Make_debug_sponge » P » Circuit » Boolean » Array » Assert

Module `Array.Assert`

val any : var array -> unit

val all : var array -> unit