module Pxp_core_types:This module is for internal use of PXP only. Users should refer tosig
..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
.