Module `Imandra_protocol`

Messages for the Imandra protocol

module Fmt = CCFormat

module CCh = Imandra_surface.Check_cache

module Stamp : sig ... end

Unique stamps to pair responses to queries.

module Txn : sig ... end

Unique transaction IDs.

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 Snapshot : sig ... end

managing surface snapshots

module Txn_query : sig ... end

Managing transactions

module Query : sig ... end

Client query.

module Oneway : sig ... end

Oneway messages.

module Response : sig ... end

Response from the server

module Action : sig ... end

An action to perform on the client side

module Msg_from_client : sig ... end

module Msg_from_server : sig ... end