package fadbadml

You can search for identifiers within the package.

in-package search v0.2.0

package fadbadml

fadbadml
- Badiff
  - BTypeName
    
    T
  - OrderedBTypeName
    
    T
- Fadbad
  - B
    
    T
  - F
    
    T
  - OrderedB
    
    T
  - OrderedF
    
    T
  - T
    
    T
- Fadbad_utils
- Fadiff
  - FTypeName
    
    T
  - OrderedFTypeName
    
    T
- Op
  - Float
  - OrderedFloat
- Tadiff
  - OrderedTTypeName
    
    T
  - TTypeName
    
    T

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

val (<) : t -> t -> bool

val (<=) : t -> t -> bool

val (>) : t -> t -> bool

val (>=) : t -> t -> bool

val min : t -> t -> t

val max : t -> t -> t