fstar
  1. Overview
  2. Docs
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
val bool_of_or : ('p, 'q) Prims.c_or -> Prims.bool
type 'p pow = Prims.unit
type (!'a, !'b) retract =
  1. | MkR of Prims.unit * Prims.unit * Prims.unit
val uu___is_MkR : ('a, 'b) retract -> Prims.bool
type (!'a, !'b) retract_cond =
  1. | MkC of Prims.unit * Prims.unit * Prims.unit
val uu___is_MkC : ('a, 'b) retract_cond -> Prims.bool
val false_elim : Prims.l_False -> 'a
type u = Prims.unit