Module Imandra_protocol.Basis

module Query : sig ... end