goblint_cdomain_value
BitfieldDomain.InfixIntOps
goblint.backtrace
goblint.build-info
goblint.cdomain
goblint.common
goblint.config
goblint.constraint
goblint.domain
goblint.incremental
goblint.lib
goblint.library
goblint.logs
goblint.parallel
goblint.sites
goblint.solver
goblint.std
goblint.timing
goblint.tracing
module Ints_t : IntOps.IntOps
val (&:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (|:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (^:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (!:) : Ints_t.t -> Ints_t.t
val (<<:) : Ints_t.t -> int -> Ints_t.t
val (>>:) : Ints_t.t -> int -> Ints_t.t
val (<:) : Ints_t.t -> Ints_t.t -> bool
val (=:) : Ints_t.t -> Ints_t.t -> bool
val (>:) : Ints_t.t -> Ints_t.t -> bool
val (<>:) : Ints_t.t -> Ints_t.t -> bool
val (+:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (-:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (*:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (/:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (%:) : Ints_t.t -> Ints_t.t -> Ints_t.t
val (>>.) : Ints_t.t -> int -> Ints_t.t