package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
module G : sig ... end
module PP : sig ... end
val compare_globals : G.t GHT.t -> G.t GHT.t -> unit
val compare_locals : Spec.D.t PP.t -> Spec.D.t PP.t -> unit
val compare_locals_ctx : Spec.D.t LHT.t -> Spec.D.t LHT.t -> unit
val compare : (string * string) -> (Spec.D.t LHT.t * G.t GHT.t) -> (Spec.D.t LHT.t * G.t GHT.t) -> unit