fstar 2022.01.15 · OCaml Package

fstar

To focus the search input from anywhere on the page, press the 'S' key.

in-package search v0.1.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val failwith : string -> 'a

val exit : Z.t -> 'a

val pipe_right : 'a -> ('a -> 'b) -> 'b

val pipe_left : ('a -> 'b) -> 'a -> 'b

val try_with : (unit -> 'a) -> (exn -> 'a) -> 'a