package fstar

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type order =

val uu___is_Lt : order -> Prims.bool

val uu___is_Eq : order -> Prims.bool

val uu___is_Gt : order -> Prims.bool

val ge : order -> Prims.bool

val le : order -> Prims.bool

val ne : order -> Prims.bool

val gt : order -> Prims.bool

val lt : order -> Prims.bool

val eq : order -> Prims.bool

val lex : order -> (Prims.unit -> order) -> order

val order_from_int : Prims.int -> order

val int_of_order : order -> Prims.int

val compare_int : Prims.int -> Prims.int -> order

val compare_list : 
  'a Prims.list ->
  'a Prims.list ->
  ('a -> 'a -> order) ->
  order

val compare_option : 
  ('a -> 'a -> order) ->
  'a FStar_Pervasives_Native.option ->
  'a FStar_Pervasives_Native.option ->
  order