Imandra_interactive.Completion_events
val completion_source : Completion.source
completion using logic-mode defs