Module PreludeExtra (.ml)

module PreludeExtra: sig .. end

"Additional features" for the standard module Pervasives. Open this module in order to use printing function such as print_string in synchronous mode.

module Extra: sig .. end

Extra definitions.

module Prelude: sig .. end

Redefinition of module Pervasives.