package goblint

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

QCheck properties for IntDomain.

module type OldS = sig ... end
module type OldSWithIkind = sig ... end
module type S = IntDomain.S with type int_t = Z.t
module IntegerSet (Ikind : IntDomain.Ikind) : sig ... end
module Valid (CD : sig ... end) (AD : OldSWithIkind) (AF : AbstractionDomainProperties.AbstractFunction with type c := CD.t and type a := AD.t) : DomainProperties.S
OCaml

Innovation. Community. Security.