Module Cobol_common.Platform

module TYPES : sig ... end
val innocuous : TYPES.platform

The innocuous platform never performs any I/O operation other than on stdin or stdout.

val copy : dst:TYPES.platform -> src:TYPES.platform -> unit
module FS : sig ... end

High-level filesystem operations