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 top = (Prims.unit, Obj.t) Prims.dtuple2

type ('a, !'r, 't0, 't1) lift_binrel = (Prims.unit, 'r) Prims.dtuple2

val lower_binrel : top -> top -> (Prims.unit, 'r) Prims.dtuple2 -> 'r

type ('a, !'r, 'wfur, 'uuuuu, 'uuuuu1) lift_binrel_as_well_founded_relation =
  ('a, 'r, Prims.unit, Prims.unit) lift_binrel

type ('a, 'r, 't0, 't1) lift_binrel_squashed = Prims.unit

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

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