IntOps (p.goblint.2.0.0.doc.goblint.lib.Goblint

module type IntOpsBase = sig ... end

module type IntOps = sig ... end

module NIntOpsBase : IntOpsBase with type t = int

module Int32OpsBase : IntOpsBase with type t = int32

module Int64OpsBase : IntOpsBase with type t = int64

module BigIntOpsBase : IntOpsBase with type t = Big_int_Z.big_int

module IntOpsDecorator (B : IntOpsBase) : sig ... end

module BigIntOps : sig ... end

module NIntOps : sig ... end

module Int32Ops : sig ... end

module Int64Ops : sig ... end