Mul.Gen
type bit
val sexp_of_bit : bit -> Sexplib0.Sexp.t
type t
val sexp_of_t : t -> Sexplib0.Sexp.t
val (&:) : bit -> bit -> bit
val (|:) : bit -> bit -> bit
val (^:) : bit -> bit -> bit
val (~:) : bit -> bit
val bits_msb : t -> bit Base.list
val concat_msb : bit Base.list -> t
val width : t -> Base.int
val bit : t -> Base.int -> bit
val gnd : bit
val (+:) : t -> t -> t
val uresize : t -> Base.int -> t