package rotor

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Elements.Module

A module for representing the concept of a module, which is really a compound comprising a sum of structures and functors.

type _ sub_t =
  1. | S : Base._structure sub_t
  2. | F : Base._functor sub_t
    (*

    Modules can be either structures or functors.

    *)
include Compound_Sig with type 'a sub_t := 'a sub_t
val lift : 'a sub_t -> 'a Base.t
type _sub_t =
  1. | Ex : 'a sub_t -> _sub_t
val _lift : _sub_t -> Base._t
module type T0 = sig ... end
module Make_T0 (X : sig ... end) : sig ... end
module type T1 = sig ... end
module Make_T1 (X : sig ... end) : sig ... end
OCaml

Innovation. Community. Security.