Completion.Inspect
val inspect_at : completion_ctx -> string -> cursor_pos:int -> t option
val inspect_at_pos : completion_ctx -> string -> pos:Imandra_util.Iloc.position -> t option
val inspect : completion_ctx -> string -> t option