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 bool_of_or : ('p, 'q) Prims.sum -> Prims.bool

type 'p pow = Prims.unit

type (!'a, !'b) retract =

val uu___is_MkR : ('a, 'b) retract -> Prims.bool

type (!'a, !'b) retract_cond =

val uu___is_MkC : ('a, 'b) retract_cond -> Prims.bool

val false_elim : Prims.unit -> 'a

type u = Prims.unit