# Module Pxp_core_types

    module Pxp_core_types: sig .. end

This module is for internal use of PXP only. Users should refer to `Pxp_types` instead which exports the same types, exceptions, and values, plus a number of additional definitions.

    module A: sig .. end

This is the type anchor

    module type S = sig .. end

`S` is the signature of `I`, defined below.

    module I: S

An implementation of `S`.