package dolmen

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

Signature required by types for typing ae's arithmetic

type t

The type of types

val int : t

The type of integers

val real : t

The type of reals

type view = private [>
  1. | `Int
  2. | `Real
]

Partial view for types.

val view : t -> view

Partial view of a type.