Imandra_surface.Input_logger
type t
=
{
log : (unit -> Code_fragment.t) -> unit;
}
val dummy : t
val get_ : unit -> t
val set_ : t -> unit