package dolmen

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

Minimum required to type ae's tff

type t

The type of terms

val void : t

The only value of type unit.

val eq : t -> t -> t

Build the equality of two terms.

val _true : t

The smybol for true

val _false : t

The symbol for false