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

type 'a erased = unit

val reveal : unit -> unit

val hide : 'a -> 'a erased

val hide_reveal : unit -> unit

val reveal_hide : 'a -> unit

val elift1 : ('a -> unit) -> 'a erased -> unit

val elift2 : ('a -> 'c -> unit) -> 'a erased -> 'c erased -> unit

val elift3 : 
  ('a -> 'c -> 'd -> unit) ->
  'a erased ->
  'c erased ->
  'd erased ->
  unit

val elift1_p : ('a -> unit) -> 'a erased -> unit

val elift2_p : ('a -> 'c -> unit) -> 'a erased -> 'c erased -> unit