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 raise0 =

val uu___is_Ret : 'a raise0 -> Prims.bool

val __proj__Ret__item___0 : 'a raise0 -> 'a

type !'a raise_t = 'a raise0

val raise_val : 'a -> 'a raise_t

val downgrade_val : 'a raise_t -> 'a

val lift_dom : ('a -> 'b) -> 'a raise_t -> 'b

val lift_codom : ('a -> 'b) -> 'a -> 'b raise_t