Imandra_interactive.Tt
val deps_of_toplevel_phrase : input:Imandra_util.Iloc.Input.t -> Parsetree.toplevel_phrase -> ([ `Import | `Require ] * Imandra_util.Iloc.t * string) list
val complete_attrs : Completion.source
type typed_top_phrase = Imandra_syntax.Pre_conv.typed_top_phrase =
| T_dir of string * Parsetree.directive_argument_desc option
| T_str of Typedtree.structure
module Process : sig ... end