package baby

You can search for identifiers within the package.

in-package search v0.2.0

package baby

baby
- Baby
  - CORE
  - H
    
    Set
    
    Int
    
    Enum
    
    Make
    
    E
    
    Enum
  - Make
    
    E
    
    Enum
    
    _
  - OrderedType
  - SET
    
    Enum
  - W
    
    Set
    
    Int
    
    Enum
    
    Make
    
    E
    
    Enum

Legend:
Library
Module
Module type
Parameter
Class
Class type

The signature Baby.OrderedType describes a type equipped with a total ordering function.

type t

The type of the set elements.

val compare : t -> t -> int

A total ordering function over values of type t. compare x1 x2 must be zero if x1 and x2 are equal. It must be strictly negative if x1 is smaller than x2. It must be strictly positive if x1 is greater than x2.