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, !'b) optResult =

val uu___is_Error : ('a, 'b) optResult -> Prims.bool

val __proj__Error__item___0 : ('a, 'b) optResult -> 'a

val uu___is_Correct : ('a, 'b) optResult -> Prims.bool

val __proj__Correct__item___0 : ('a, 'b) optResult -> 'b

val perror : Prims.string -> Prims.int -> Prims.string -> Prims.string

val correct : 'r -> ('a, 'r) optResult

val unexpected : Prims.string -> 'a

val unreachable : Prims.string -> 'a

val if_ideal : (Prims.unit -> 'a) -> 'a -> 'a