package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Sys : sig ... end
module LH : sig ... end
module GH : sig ... end
module G = Sys.G
module PP : sig ... end
val compare_globals : G.t GH.t -> G.t GH.t -> unit
val compare_locals : SpecSys.Spec.D.t PP.t -> SpecSys.Spec.D.t PP.t -> unit
val compare_locals_ctx : SpecSys.Spec.D.t LH.t -> SpecSys.Spec.D.t LH.t -> unit
val compare : (string * string) -> (SpecSys.Spec.D.t LH.t * G.t GH.t) -> (SpecSys.Spec.D.t LH.t * G.t GH.t) -> unit
OCaml

Innovation. Community. Security.