Imandra_interactive_lib.Define_check_client
Definition of new symbols.
This is the main entrypoint for defining new symbols in Imandra. Typically new symbols come from the parser after the user enters some text into the toplevel interpreter.
module P = Imandra_protocol
module Res : sig ... end
Results of definition/validation
module type S = sig ... end
Definition module
module Make (_ : Imandra_util_thread.Fut.S) () : S