package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val ask_local : SpecSys.EQSys.G.t SpecSys.GHT.t -> SpecSys.EQSys.LVar.t -> SpecSys.Spec.D.t -> 'a Queries.t -> 'a Queries.result
val ask_local_node : SpecSys.EQSys.G.t SpecSys.GHT.t -> Node.t -> SpecSys.Spec.D.t -> 'a Queries.t -> 'a Queries.result
val ask_global : SpecSys.EQSys.G.t SpecSys.GHT.t -> 'a Queries.t -> 'a Queries.result
OCaml

Innovation. Community. Security.