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