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, 'f) decides_eq = Prims.unit

type !'a deq = {

}

val __proj__Mkdeq__item__raw : 'a deq -> 'a FStar_Class_Eq_Raw.deq

val raw : 'a deq -> 'a FStar_Class_Eq_Raw.deq

val deq_raw_deq : 'a deq -> 'a FStar_Class_Eq_Raw.deq

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

val eq_instance_of_eqtype : 'a FStar_Class_Eq_Raw.deq -> '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 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