module Pxp_core_types:sig
..end
Pxp_types
instead which exports the same types, exceptions,
and values, plus a number of additional definitions.module A:sig
..end
module type S =sig
..end
S
is the signature of I
, defined below.
module I:S
S
.