Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create : unit -> t
Create a new, empty history
val add_input : t -> string -> unit
Add an input
val add_output : t -> string -> unit
Add an output
val add_error : t -> string -> unit
Add an error
val add_warnings : t -> string -> unit
Add a warning
val add_bad_input : t -> string -> unit
Add an input that resulted in an error