Module Imandra_surface.Input_logger

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