Debug_assert
val debug_assert : ( unit -> unit ) -> unit
val debug_assert_deferred : ( unit -> unit Async_kernel.Deferred.t ) -> unit Async_kernel.Deferred.t