package General

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package General

General
- General
  - Abbr
    
    Arg
    
    Arith_status
    
    Array
    
    ArrayLabels
    
    Big_int
    
    Buffer
    
    Bytes
    
    BytesLabels
    
    Callback
    
    Char
    
    Complex
    
    Digest
    
    Ephemeron
    
    Filename
    
    Format
    
    Gc
    
    Genlex
    
    Hashtbl
    
    LargeFile
    
    Lazy
    
    Lexing
    
    List
    
    ListLabels
    
    Map
    
    Marshal
    
    MoreLabels
    
    Nativeint
    
    Num
    
    OCamlStandard
    
    Arg
    
    Arith_status
    
    Array
    
    ArrayLabels
    
    Big_int
    
    Buffer
    
    Bytes
    
    BytesLabels
    
    Callback
    
    Char
    
    Complex
    
    Digest
    
    Ephemeron
    
    GenHashTable
    
    MakeSeeded
    
    H
    
    K1
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    K2
    
    Make
    
    H1
    
    H2
    
    MakeSeeded
    
    H1
    
    H2
    
    Kn
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
    
    Filename
    
    Format
    
    Gc
    
    Genlex
    
    Hashtbl
    
    HashedType
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededHashedType
    
    SeededS
    
    Int32
    
    Int64
    
    Lazy
    
    Lexing
    
    List
    
    ListLabels
    
    Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Marshal
    
    MoreLabels
    
    Hashtbl
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
    
    Map
    
    Make
    
    Ord
    
    S
    
    Set
    
    Make
    
    Ord
    
    S
    
    Nativeint
    
    Num
    
    Oo
    
    Parsing
    
    Pervasives
    
    LargeFile
    
    Printexc
    
    Slot
    
    Printf
    
    Queue
    
    Random
    
    State
    
    Scanf
    
    Scanning
    
    Set
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Sort
    
    Spacetime
    
    Series
    
    Snapshot
    
    Stack
    
    StdLabels
    
    Array
    
    Bytes
    
    List
    
    String
    
    Stream
    
    String
    
    StringLabels
    
    Sys
    
    Uchar
    
    Weak
    
    Make
    
    H
    
    S
    
    Oo
    
    Parsing
    
    Pervasives
    
    Printexc
    
    Printf
    
    Queue
    
    Random
    
    Scanf
    
    Set
    
    Sort
    
    Spacetime
    
    Stack
    
    StdLabels
    
    Stream
    
    String
    
    StringLabels
    
    Sys
    
    Uchar
    
    Weak
  - Array
  - BigInt
    
    O
  - Bool
    
    O
  - CallStack
    
    Frame
    
    Location
    
    O
  - Char
  - Compare
    
    Poly
    
    O
  - Concepts
    
    Able
    
    Operators
    
    S0
    
    S0
    
    O
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    Tests
    
    Examples
    
    Element
    
    S0
    
    S1
    
    A
    
    S2
    
    A
    
    B
    
    S3
    
    A
    
    B
    
    C
    
    S4
    
    A
    
    B
    
    C
    
    D
    
    S5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    Make0
    
    E
    
    M
    
    O
    
    Make1
    
    E
    
    A
    
    M
    
    Make2
    
    E
    
    A
    
    B
    
    M
    
    Make3
    
    E
    
    A
    
    B
    
    C
    
    M
    
    Make4
    
    E
    
    A
    
    B
    
    C
    
    D
    
    M
    
    Make5
    
    E
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    Identifiable
    
    Operators
    
    Make0
    
    M
    
    S0
    
    SPoly
    
    S0
    
    O
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    Tests
    
    Examples
    
    Element
    
    S0
    
    S1
    
    A
    
    S2
    
    A
    
    B
    
    S3
    
    A
    
    B
    
    C
    
    S4
    
    A
    
    B
    
    C
    
    D
    
    S5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    Make0
    
    E
    
    M
    
    O
    
    Make1
    
    E
    
    A
    
    M
    
    Make2
    
    E
    
    A
    
    B
    
    M
    
    Make3
    
    E
    
    A
    
    B
    
    C
    
    M
    
    Make4
    
    E
    
    A
    
    B
    
    C
    
    D
    
    M
    
    Make5
    
    E
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    Integer
    
    S0
    
    O
    
    Tests
    
    Make0
    
    E
    
    M
    
    O
    
    Number
    
    Operators
    
    S0
    
    S0
    
    O
    
    Tests
    
    Examples
    
    S0
    
    Make0
    
    E
    
    M
    
    O
    
    RealNumber
    
    Operators
    
    S0
    
    S0
    
    O
    
    Tests
    
    Examples
    
    S0
    
    Make0
    
    E
    
    M
    
    O
  - Equate
    
    Phys
    
    Poly
    
    O
  - Exception
    
    O
  - Exit
  - Float
    
    Class
    
    O
  - FloatList
    
    O
    
    ToList
  - FloatOption
  - FloatReference
    
    O
  - Format
  - Function1
    
    O
  - Function2
  - Function3
  - Function4
  - Function5
  - InChannel
  - InFile
  - Int
    
    Bitwise
    
    O
  - Int32
    
    O
  - Int64
    
    O
  - IntList
    
    O
    
    ToList
  - IntOption
  - IntRange
    
    O
    
    ToList
  - IntReference
    
    O
  - Lazy
  - List
    
    O
    
    Poly
    
    Specialize
    
    A
    
    O
    
    ToList
    
    SpecializeEquatable
    
    A
    
    Two
  - NativeInt
    
    O
  - Option
    
    Specialize
    
    A
  - OutChannel
  - OutFile
  - Pervasives
    
    Arg
    
    Arith_status
    
    Array
    
    ArrayLabels
    
    Big_int
    
    Buffer
    
    Bytes
    
    BytesLabels
    
    Callback
    
    Char
    
    Complex
    
    Digest
    
    Ephemeron
    
    Filename
    
    Format
    
    Gc
    
    Genlex
    
    Hashtbl
    
    Int32
    
    Int64
    
    LargeFile
    
    Lazy
    
    Lexing
    
    List
    
    ListLabels
    
    Map
    
    Marshal
    
    MoreLabels
    
    Nativeint
    
    Num
    
    OCamlStandard
    
    Arg
    
    Arith_status
    
    Array
    
    ArrayLabels
    
    Big_int
    
    Buffer
    
    Bytes
    
    BytesLabels
    
    Callback
    
    Char
    
    Complex
    
    Digest
    
    Ephemeron
    
    GenHashTable
    
    MakeSeeded
    
    H
    
    K1
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    K2
    
    Make
    
    H1
    
    H2
    
    MakeSeeded
    
    H1
    
    H2
    
    Kn
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
    
    Filename
    
    Format
    
    Gc
    
    Genlex
    
    Hashtbl
    
    HashedType
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededHashedType
    
    SeededS
    
    Int32
    
    Int64
    
    Lazy
    
    Lexing
    
    List
    
    ListLabels
    
    Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Marshal
    
    MoreLabels
    
    Hashtbl
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
    
    Map
    
    Make
    
    Ord
    
    S
    
    Set
    
    Make
    
    Ord
    
    S
    
    Nativeint
    
    Num
    
    Oo
    
    Parsing
    
    Pervasives
    
    LargeFile
    
    Printexc
    
    Slot
    
    Printf
    
    Queue
    
    Random
    
    State
    
    Scanf
    
    Scanning
    
    Set
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Sort
    
    Spacetime
    
    Series
    
    Snapshot
    
    Stack
    
    StdLabels
    
    Array
    
    Bytes
    
    List
    
    String
    
    Stream
    
    String
    
    StringLabels
    
    Sys
    
    Uchar
    
    Weak
    
    Make
    
    H
    
    S
    
    Oo
    
    Parsing
    
    Pervasives
    
    Printexc
    
    Printf
    
    Queue
    
    Random
    
    Scanf
    
    Set
    
    Sort
    
    Spacetime
    
    Stack
    
    StdLabels
    
    Stream
    
    String
    
    StringLabels
    
    Sys
    
    Uchar
    
    Weak
  - Reference
    
    O
    
    Specialize
    
    A
    
    O
    
    SpecializeOperators
    
    A
    
    SpecializePredSucc
    
    A
    
    SpecializeRingoid
    
    A
    
    O
    
    SpecializeRingoidOperators
    
    A
  - Shorten
  - Standard
    
    Arg
    
    Arith_status
    
    ArrayLabels
    
    Big_int
    
    Buffer
    
    Bytes
    
    BytesLabels
    
    Callback
    
    Complex
    
    Digest
    
    Ephemeron
    
    Filename
    
    Gc
    
    Genlex
    
    Hashtbl
    
    LargeFile
    
    Lexing
    
    ListLabels
    
    Map
    
    Marshal
    
    MoreLabels
    
    Nativeint
    
    Num
    
    OCamlStandard
    
    Arg
    
    Arith_status
    
    Array
    
    ArrayLabels
    
    Big_int
    
    Buffer
    
    Bytes
    
    BytesLabels
    
    Callback
    
    Char
    
    Complex
    
    Digest
    
    Ephemeron
    
    GenHashTable
    
    MakeSeeded
    
    H
    
    K1
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    K2
    
    Make
    
    H1
    
    H2
    
    MakeSeeded
    
    H1
    
    H2
    
    Kn
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
    
    Filename
    
    Format
    
    Gc
    
    Genlex
    
    Hashtbl
    
    HashedType
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededHashedType
    
    SeededS
    
    Int32
    
    Int64
    
    Lazy
    
    Lexing
    
    List
    
    ListLabels
    
    Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Marshal
    
    MoreLabels
    
    Hashtbl
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
    
    Map
    
    Make
    
    Ord
    
    S
    
    Set
    
    Make
    
    Ord
    
    S
    
    Nativeint
    
    Num
    
    Oo
    
    Parsing
    
    Pervasives
    
    LargeFile
    
    Printexc
    
    Slot
    
    Printf
    
    Queue
    
    Random
    
    State
    
    Scanf
    
    Scanning
    
    Set
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Sort
    
    Spacetime
    
    Series
    
    Snapshot
    
    Stack
    
    StdLabels
    
    Array
    
    Bytes
    
    List
    
    String
    
    Stream
    
    String
    
    StringLabels
    
    Sys
    
    Uchar
    
    Weak
    
    Make
    
    H
    
    S
    
    Oo
    
    Parsing
    
    Pervasives
    
    Printexc
    
    Printf
    
    Queue
    
    Random
    
    Scanf
    
    Set
    
    Sort
    
    Spacetime
    
    Stack
    
    StdLabels
    
    StringLabels
    
    Sys
    
    Uchar
    
    Weak
  - StdErr
  - StdIn
  - StdOut
  - Stream
    
    ToList
  - String
    
    O
  - StringList
    
    O
    
    ToList
  - StringOption
  - StringReference
    
    O
  - Testing
    
    Result
    
    Test
  - Traits
    
    Comparable
    
    Basic
    
    S0
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    SPoly
    
    Specialize1
    
    A
    
    M
    
    Specialize2
    
    A
    
    B
    
    M
    
    Specialize3
    
    A
    
    B
    
    C
    
    M
    
    Specialize4
    
    A
    
    B
    
    C
    
    D
    
    M
    
    Specialize5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    Between
    
    Make0
    
    M
    
    Make1
    
    M
    
    Make2
    
    M
    
    Make3
    
    M
    
    Make4
    
    M
    
    Make5
    
    M
    
    GreaterLessThan
    
    Make0
    
    M
    
    Make1
    
    M
    
    Make2
    
    M
    
    Make3
    
    M
    
    Make4
    
    M
    
    Make5
    
    M
    
    MinMax
    
    Make0
    
    M
    
    Make1
    
    M
    
    Make2
    
    M
    
    Make3
    
    M
    
    Make4
    
    M
    
    Make5
    
    M
    
    Operators
    
    Make0
    
    M
    
    S0
    
    SPoly
    
    S0
    
    O
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    SPoly
    
    O
    
    Specialize1
    
    A
    
    M
    
    O
    
    Specialize2
    
    A
    
    B
    
    M
    
    O
    
    Specialize3
    
    A
    
    B
    
    C
    
    M
    
    O
    
    Specialize4
    
    A
    
    B
    
    C
    
    D
    
    M
    
    O
    
    Specialize5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    O
    
    Tests
    
    Examples
    
    Element
    
    S0
    
    S1
    
    A
    
    S2
    
    A
    
    B
    
    S3
    
    A
    
    B
    
    C
    
    S4
    
    A
    
    B
    
    C
    
    D
    
    S5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    Make0
    
    E
    
    M
    
    O
    
    Make1
    
    E
    
    A
    
    M
    
    Make2
    
    E
    
    A
    
    B
    
    M
    
    Make3
    
    E
    
    A
    
    B
    
    C
    
    M
    
    Make4
    
    E
    
    A
    
    B
    
    C
    
    D
    
    M
    
    Make5
    
    E
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    Displayable
    
    Basic
    
    S0
    
    S0
    
    Tests
    
    Examples
    
    S0
    
    Make0
    
    E
    
    M
    
    Equatable
    
    Basic
    
    S0
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    SPhys
    
    SPoly
    
    Specialize1
    
    A
    
    M
    
    Specialize2
    
    A
    
    B
    
    M
    
    Specialize3
    
    A
    
    B
    
    C
    
    M
    
    Specialize4
    
    A
    
    B
    
    C
    
    D
    
    M
    
    Specialize5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    Different
    
    Make0
    
    M
    
    Make1
    
    M
    
    Make2
    
    M
    
    Make3
    
    M
    
    Make4
    
    M
    
    Make5
    
    M
    
    Operators
    
    Make0
    
    M
    
    S0
    
    SPoly
    
    S0
    
    O
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    SPhys
    
    SPoly
    
    O
    
    Specialize1
    
    A
    
    M
    
    O
    
    Specialize2
    
    A
    
    B
    
    M
    
    O
    
    Specialize3
    
    A
    
    B
    
    C
    
    M
    
    O
    
    Specialize4
    
    A
    
    B
    
    C
    
    D
    
    M
    
    O
    
    Specialize5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    O
    
    Tests
    
    Examples
    
    Element
    
    S0
    
    S1
    
    A
    
    S2
    
    A
    
    B
    
    S3
    
    A
    
    B
    
    C
    
    S4
    
    A
    
    B
    
    C
    
    D
    
    S5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    Make0
    
    E
    
    M
    
    O
    
    Make1
    
    E
    
    A
    
    M
    
    Make2
    
    E
    
    A
    
    B
    
    M
    
    Make3
    
    E
    
    A
    
    B
    
    C
    
    M
    
    Make4
    
    E
    
    A
    
    B
    
    C
    
    D
    
    M
    
    Make5
    
    E
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    FilterMapable
    
    S0
    
    S1
    
    Tests
    
    Make1
    
    M
    
    ToArray
    
    S0
    
    S1
    
    Tests
    
    Make1
    
    Container
    
    M
    
    ToContainer
    
    ToContainer
    
    C
    
    S0
    
    S1
    
    Tests
    
    Make1
    
    Container
    
    M
    
    ToContainer
    
    ToList
    
    S0
    
    S1
    
    Tests
    
    Make1
    
    Container
    
    M
    
    ToContainer
    
    Foldable
    
    Basic
    
    S0
    
    S1
    
    Right
    
    Basic
    
    S0
    
    S1
    
    S0
    
    S1
    
    S0
    
    S1
    
    Short
    
    Basic
    
    S0
    
    S1
    
    Right
    
    Basic
    
    S0
    
    S1
    
    S0
    
    S1
    
    S0
    
    S1
    
    Parsable
    
    Basic
    
    S0
    
    S0
    
    Tests
    
    Examples
    
    S0
    
    Make0
    
    E
    
    M
    
    PredSucc
    
    Make0
    
    M
    
    S0
    
    Tests
    
    Examples
    
    S0
    
    Make0
    
    E
    
    M
    
    Representable
    
    Basic
    
    S0
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    Specialize1
    
    A
    
    M
    
    Specialize2
    
    A
    
    B
    
    M
    
    Specialize3
    
    A
    
    B
    
    C
    
    M
    
    Specialize4
    
    A
    
    B
    
    C
    
    D
    
    M
    
    Specialize5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    S0
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    Specialize1
    
    A
    
    M
    
    Specialize2
    
    A
    
    B
    
    M
    
    Specialize3
    
    A
    
    B
    
    C
    
    M
    
    Specialize4
    
    A
    
    B
    
    C
    
    D
    
    M
    
    Specialize5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    Tests
    
    Examples
    
    S0
    
    S1
    
    A
    
    S2
    
    A
    
    B
    
    S3
    
    A
    
    B
    
    C
    
    S4
    
    A
    
    B
    
    C
    
    D
    
    S5
    
    A
    
    B
    
    C
    
    D
    
    E
    
    Make0
    
    E
    
    M
    
    Make1
    
    E
    
    A
    
    M
    
    Make2
    
    E
    
    A
    
    B
    
    M
    
    Make3
    
    E
    
    A
    
    B
    
    C
    
    M
    
    Make4
    
    E
    
    A
    
    B
    
    C
    
    D
    
    M
    
    Make5
    
    E
    
    A
    
    B
    
    C
    
    D
    
    E
    
    M
    
    Ringoid
    
    Basic
    
    S0
    
    Exponentiate
    
    Make0
    
    M
    
    Operators
    
    Make0
    
    M
    
    S0
    
    S0
    
    O
    
    Square
    
    Make0
    
    M
    
    Substract
    
    Make0
    
    M
    
    Tests
    
    Examples
    
    S0
    
    Make0
    
    E
    
    M
    
    O
    
    Scanable
    
    Right
    
    S0
    
    S1
    
    ToArray
    
    S0
    
    S1
    
    ToContainer
    
    C
    
    S0
    
    S1
    
    ToList
    
    S0
    
    S1
    
    S0
    
    S1
    
    Short
    
    Right
    
    S0
    
    S1
    
    ToArray
    
    S0
    
    S1
    
    ToContainer
    
    C
    
    S0
    
    S1
    
    ToList
    
    S0
    
    S1
    
    S0
    
    S1
    
    ToArray
    
    S0
    
    S1
    
    ToContainer
    
    C
    
    S0
    
    S1
    
    ToList
    
    S0
    
    S1
    
    ToArray
    
    S0
    
    S1
    
    ToContainer
    
    C
    
    S0
    
    S1
    
    ToList
    
    S0
    
    S1
  - Tuple2
  - Tuple3
  - Tuple4
  - Tuple5
  - Unit

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : S4

module A : S0

module B : S0

module C : S0

module D : S0

Signature

type t = (A.t, B.t, C.t, D.t) M.t

val compare : t -> t -> Foundations.Compare.t