Module `Imandra_protocol`

Messages for the Imandra protocol

module Fmt = CCFormat

module CCh = Imandra_surface.Check_cache

module Stamp : sig ... end

module Validate : sig ... end

module Verify : sig ... end

module Reasoning_state_ref : sig ... end

Handle on a reasoning state

module Modular_decomp_state_ref : sig ... end

Handle on a MD state

module Simplify : sig ... end

module Modular_decomp : sig ... end

module Abstractor : sig ... end

module Cache_upload : sig ... end

module Snapshot : sig ... end

module Basis : sig ... end

module Query : sig ... end

Client query

module Response : sig ... end

Response from the server

module Action : sig ... end

An action to perform on the client side

module Server_query : sig ... end

Queries from the server

module Client_response : sig ... end

Response from client to a server query

module Msg_from_client : sig ... end

module Msg_from_server : sig ... end