Module Make.Unsafe

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