Class type Pxp_types.symbolic_warnings

method warn : warning -> unit