Class type Pxp_core_types.S.collect_warnings

class type collect_warnings = object .. end

This object is sometimes used for outputting user warnings

method warn : string -> unit

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge