Surface_snap_q (imandra-base.Imandra_interactive.Reasoning_proxy_dummy.Surface_snap

type res = Imandra_protocol.Snapshot.Make(Surface_snap).res =

| Ok

| Nop

val process_snapshot : 
  scope:Opentelemetry.Trace.scope option ->
  Imandra_protocol.Snapshot.Query.t ->
  res