BitfieldDomain (p.goblint.2.6.0.doc.goblint_cdomain

module InfixIntOps (Ints_t : IntOps.IntOps) : sig ... end

module BitfieldArith (Ints_t : IntOps.IntOps) : sig ... end

module BitfieldFunctor
  (Ints_t : IntOps.IntOps) : 
  IntDomain0.Bitfield_SOverflow
    with type int_t = Ints_t.t
     and type t = Ints_t.t * Ints_t.t

module Bitfield : sig ... end