Module ResultQuery.Query

Parameters

Signature

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