package goblint

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

Parameters

module Arg : InvariantArg

Signature

module VS : sig ... end
val ad_invariant : vs:VS.t -> offset:GoblintCil.Cil.offset -> lval:GoblintCil.lval -> AD.t -> Invariant.t
val blob_invariant : vs:VS.t -> offset:GoblintCil.Cil.offset -> lval:GoblintCil.lval -> Blobs.t -> Invariant.t
val vd_invariant : vs:VS.t -> offset:GoblintCil.Cil.offset -> lval:GoblintCil.Cil.lval -> Unions.value -> Invariant.t
val deref_invariant : vs:VS.t -> CilType.Varinfo.t -> offset:GoblintCil.offset -> lval:GoblintCil.Cil.lval -> Invariant.t
val key_invariant_lval : ?vs:VS.t -> CilType.Varinfo.t -> offset:GoblintCil.offset -> lval:GoblintCil.Cil.lval -> Compound.t -> Invariant.t
val key_invariant : CilType.Varinfo.t -> ?offset:GoblintCil.offset -> Compound.t -> Invariant.t