Process.Parsedstructval top :
scope:Opentelemetry.Trace.scope option ->
?events_for_logic_directives:bool ->
input:Imandra_util.Iloc.Input.t ->
db:Imandra_surface.DB.t ->
Env.t ->
Parsetree.toplevel_phrase ->
Imandra_surface.Event.t list
* Imandra_surface.DB.t
* Env.t
* typed_top_phrase