Imandra_interactive.Syntax_load
val set : Imandra_syntax.Syntax.t -> unit
val set' : Imandra_syntax.Syntax.t -> unit -> unit
val with_local : Imandra_syntax.Syntax.t -> ( unit -> 'a ) -> 'a