Module ResultQuery.Make

Parameters

Signature

module SpecSys = SpecSysSol.SpecSys
val gh : SpecSys.EQSys.G.t SpecSys.GHT.t
val lh : SpecSys.Spec.D.t SpecSys.LHT.t
val nh : SpecSys.Spec.D.t NH.t Stdlib.Lazy.t
val ask_local : SpecSys.EQSys.LVar.t -> ?local:SpecSys.Spec.D.t -> 'a Queries.t -> 'a Queries.result
val ask_local_node : Node.t -> ?local:SpecSys.Spec.D.t -> 'a Queries.t -> 'a Queries.result
val ask_global : 'a Queries.t -> 'a Queries.result