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