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 binrel = Prims.unit

type ('a, 'r) well_founded = Prims.unit

val fix_F : ('aa -> ('aa -> 'r -> 'p) -> 'p) -> 'aa -> Prims.unit -> 'p

val fix : 
  Prims.unit ->
  Prims.unit ->
  ('aa -> ('aa -> 'r -> Obj.t) -> Obj.t) ->
  'aa ->
  Obj.t

type ('a, 'rel) is_well_founded = Prims.unit

type 'a well_founded_relation = Prims.unit

type ('a, !'rel, 'f, 'uuuuu, 'uuuuu1) as_well_founded = 'rel

type ('a, 'r, !'subur, 'subuw, 'ruwf, 'uuuuu, 'uuuuu1) subrelation_as_wf =
  'subur

type ('a, 'b, !'rub, 'f, 'x, 'y) inverse_image = 'rub