fstar 2022.01.15 · OCaml Package

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, !'r, !'dummyV0, !'dummyV1) _closure =

| Refl of 'a
| Step of 'a * 'a * 'r
| Closure of 'a * 'a * 'a * ('a, 'r, Prims.unit, Prims.unit) _closure * ('a, 'r, Prims.unit, Prims.unit) _closure

val uu___is_Refl : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  Prims.bool

val __proj__Refl__item__x : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  'a

val uu___is_Step : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  Prims.bool

val __proj__Step__item__x : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  'a

val __proj__Step__item__y : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  'a

val __proj__Step__item___2 : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  'r

val uu___is_Closure : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  Prims.bool

val __proj__Closure__item__x : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  'a

val __proj__Closure__item__y : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  'a

val __proj__Closure__item__z : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  'a

val __proj__Closure__item___3 : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  ('a, 'r, Prims.unit, Prims.unit) _closure

val __proj__Closure__item___4 : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  ('a, 'r, Prims.unit, Prims.unit) _closure

type ('a, 'r, 'x, 'y) _closure0 = Prims.unit

type ('a, 'r, 'uuuuu, 'uuuuu1) closure = Prims.unit

val closure_one_aux : 
  'a ->
  'a ->
  ('a, 'r, Prims.unit, Prims.unit) _closure ->
  (Prims.unit,
    ('a, 'r, ('a, 'r, Prims.unit, Prims.unit) _closure)
      FStar_Pervasives.dtuple3)
    FStar_Pervasives.either