package TCSLib

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

Input signature of the functor FSet.Make.

type t

The type of set 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.