Up
–
imandra-base
»
Imandra_protocol
» Validate
Module
Imandra_protocol.Validate
module
Query
:
sig
...
end
module
Response
:
sig
...
end