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.