• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • lambdapi
  • Documentation
  • lambdapi.core lib
  • Core .Term .Meta Module
package lambdapi
  • lambdapi.common
    • Common
      • Console
        • State
      • Debug
        • D
      • Error
      • Escape
      • Library
        • LibMap
      • Logger
      • Path
        • Map
        • Path
        • Set
      • Pos
  • lambdapi.core
    • Core
      • Builtin
      • Ctxt
      • Env
      • Eval
      • Infer
      • Inverse
      • LibMeta
      • LibTerm
      • Print
      • Sig_state
      • Sign
      • Term
        • Meta
        • MetaMap
        • MetaSet
        • Raw
        • Sym
        • SymMap
        • SymSet
        • Var
        • VarMap
        • VarSet
      • Tree
        • CM
        • CP
          • PSet
      • Tree_type
        • TC
        • TCMap
      • Unif
      • Unif_rule
      • Version
  • lambdapi.export
    • Export
      • Dk
      • Hrs
      • Xtc
  • lambdapi.handle
    • Handle
      • Command
      • Compile
        • PureUpToSign
      • Inductive
      • Proof
        • Goal
      • Query
      • Rewrite
      • Tactic
      • Why3_tactic
  • lambdapi.lplib
    • Lplib
      • Array
      • Base
        • Int
      • Color
      • Extra
        • IntMap
        • IntSet
        • StrMap
        • StrSet
      • Filename
      • List
      • Option
      • Range
      • RangeMap
        • Make
          • 1-R
          • Range
      • RangeMap_intf
        • S
          • Range
      • Range_intf
        • S
      • String
  • lambdapi.lsp
    • Lsp
      • Lp_doc
      • Lp_lsp
      • Lsp_base
      • Lsp_io
  • lambdapi.parsing
    • Parsing
      • DkBasic
        • WS
      • DkLexer
      • DkParser
      • DkRule
      • DkTokens
      • LpLexer
      • LpParser
      • Package
      • Parser
        • Dk
        • Lp
        • PARSER
      • Pratt
        • Pratt
      • Pretty
      • Scope
      • Syntax
        • P
  • lambdapi.pure
    • Pure
      • Command
      • ProofTree
      • Tactic
  • lambdapi.tool
    • Tool
      • External
      • Lcr
      • Sr
      • Tree_graphviz
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = meta

The type of the map keys.

val compare : t -> t -> int

A total ordering function over the keys. This is a two-argument function f such that f e1 e2 is zero if the keys e1 and e2 are equal, f e1 e2 is strictly negative if e1 is smaller than e2, and f e1 e2 is strictly positive if e1 is greater than e2. Example: a suitable ordering function is the generic structural comparison function Stdlib.compare.

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Get Started
  • Language Manual
  • Standard Library API
  • Books
  • Releases

Community

  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct