package rotor

  1. Overview
  2. Docs
package rotor
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct