package goblint

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

Innovation. Community. Security.