Module Sertop.Sertop_loaderSource

Sourceval add_ml_path : string -> unit

add_ml_path path Adds a directory to the ML search path

Sourceval plugin_handler : (string -> unit) option -> string -> unit

plugin_handler user_loader Plugin loader that will also load serialization for generic arguments