Module Digest.Unsafe

val to_bits_unboolean : t -> Step_main_inputs.Impl.Boolean.var list