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, !'b) arrow = 'a -> 'b

type (!'a, !'b) efun = 'a -> 'b

type ('a, 'b, 'f, 'g) feq = Prims.unit

val on_domain : ('a -> 'b) -> 'a -> 'b

type ('a, 'b, 'f) is_restricted = Prims.unit

type (!'a, !'b) restricted_t = 'a -> 'b

type (!'a, !'b) op_Hat_Subtraction_Greater = ('a, 'b) restricted_t

val on_dom : ('a -> 'b) -> ('a, 'b) restricted_t

val on : ('a -> 'b) -> ('a, 'b) restricted_t

type ('a, 'b) arrow_g = Prims.unit

type ('a, 'b) efun_g = Prims.unit

type ('a, 'b, 'f, 'g) feq_g = Prims.unit

type ('a, 'b, 'f) is_restricted_g = Prims.unit

type ('a, 'b) restricted_g_t = Prims.unit

type ('a, 'b) op_Hat_Subtraction_Greater_Greater = Prims.unit