package dolmen

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

Minimum required to type ae's arith

type t

The type of terms

type ty

The type of types.

val ty : t -> ty

Type of a term.