Up
–
imandra-base
»
Imandra_interactive
»
System
» Prompt
Module
System.Prompt
Prompt for the command line interface
Prompt for the command line interface
val
logic_prompt :
string
Stdlib
.ref
val
program_prompt :
string
Stdlib
.ref