Define.Type
val on_def : ( scope:Opentelemetry.Trace.scope option -> Imandra_surface.Event.types_data -> unit ) Stdlib.ref