Fadbad__.Fadbad_utils
val user_assert : bool -> string -> unit
val internal_assert : bool -> string -> unit