package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Unified interface for integer types.

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 = Z.t
module IntOpsDecorator (B : IntOpsBase) : sig ... end
module BigIntOps : sig ... end
module NIntOps : sig ... end
module Int32Ops : sig ... end
module Int64Ops : sig ... end
OCaml

Innovation. Community. Security.