Up
–
imandra-base
»
Imandra_surface
»
Completion
» Inspect
Module
Completion.Inspect
val
inspect : string
->
cursor_pos:int
->
(
event
*
Uid.t
option
)
option