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

val flip : FStar_Order.order -> FStar_Order.order

type !'a raw_comparator = 'a -> 'a -> FStar_Order.order

type !'a totalorder = {

}

val __proj__Mktotalorder__item__compare : 'a totalorder -> 'a raw_comparator

val compare : 'a totalorder -> 'a raw_comparator

val op_Less : 't totalorder -> 't -> 't -> Prims.bool

val op_Greater : 't totalorder -> 't -> 't -> Prims.bool

val op_Equals : 't totalorder -> 't -> 't -> Prims.bool

val op_Less_Equals : 't totalorder -> 't -> 't -> Prims.bool

val op_Greater_Equals : 't totalorder -> 't -> 't -> Prims.bool

val op_Less_Greater : 't totalorder -> 't -> 't -> Prims.bool

val uu___0 : Prims.int totalorder

val uu___1 : Prims.bool totalorder

val totalorder_pair : 'a totalorder -> 'b totalorder -> ('a * 'b) totalorder

val totalorder_option : 
  'a totalorder ->
  'a FStar_Pervasives_Native.option totalorder

val raw_compare_lists : 'a totalorder -> 'a Prims.list raw_comparator

val totalorder_list : 'a totalorder -> 'a Prims.list totalorder