package coq

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

Missing pervasive types from OCaml stdlib

type ('a, 'b) union =
  1. | Inl of 'a
  2. | Inr of 'b
    (*

    Union type

    *)
type 'a until =
  1. | Stop of 'a
  2. | Cont of 'a
    (*

    Used for browsable-until structures.

    *)
type (_, _) eq =
  1. | Refl : ('a, 'a) eq
module type SetS = sig ... end

Redeclaration of OCaml set signature, to preserve compatibility. See OCaml documentation for more information.

module type MapS = sig ... end