Plasma GitLab Archive
Projects Blog Knowledge

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.
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml