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