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 !'a deq = {

}

val __proj__Mkdeq__item__eq : 'a deq -> 'a -> 'a -> Prims.bool

val eq : 'a deq -> 'a -> 'a -> Prims.bool

val eq_instance_of_eqtype : Prims.unit -> 'a deq

val int_has_eq : Prims.int deq

val unit_has_eq : Prims.unit deq

val bool_has_eq : Prims.bool deq

val string_has_eq : Prims.string deq

val eqList : 
  ('a -> 'a -> Prims.bool) ->
  'a Prims.list ->
  'a Prims.list ->
  Prims.bool

val eq_list : 'a deq -> 'a Prims.list deq

val eq_pair : 'a deq -> 'b deq -> ('a * 'b) deq

val eq_option : 'a deq -> 'a FStar_Pervasives_Native.option deq

val op_Equals : 'a deq -> 'a -> 'a -> Prims.bool