package TCSLib

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

The type of domain elements.

val compare : t -> t -> int

A function defining a total ordering on the type t. compare x y must be negative if x is smaller than y, positive if x is greater than x, and zero if x and y are equal.

OCaml

Innovation. Community. Security.