package goblint

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

Parameters

module GHT : BatHashtbl.S with type key = EQSys.GVar.t

Signature

val ask_local : EQSys.G.t GHT.t -> EQSys.LVar.t -> Spec.D.t -> 'a Queries.t -> 'a Queries.result
val ask_local_node : EQSys.G.t GHT.t -> Node.t -> Spec.D.t -> 'a Queries.t -> 'a Queries.result
val ask_global : EQSys.G.t GHT.t -> 'a Queries.t -> 'a Queries.result