# Module BaseLog

    module BaseLog: sig .. end

Maintain a log of actions done

- Author(s): Sylvain Le Gall

    val default_filename : OASISContext.source_filename

Default file for registering log.

    val load : ctxt:OASISContext.t -> unit -> (OASISTypes.name * string) list

Load the log file.

    val register : ctxt:OASISContext.t -> OASISTypes.name -> string -> unit

Add an event to the log file.

    val unregister : ctxt:OASISContext.t -> OASISTypes.name -> string -> unit

Remove an event from the log file.

    val filter : ctxt:OASISContext.t ->
           OASISTypes.name list -> (OASISTypes.name * string) list

Filter events of the log file.

    val exists : ctxt:OASISContext.t -> OASISTypes.name -> string -> bool

Check if an event exists in the log file.