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

type 'a predicate = Prims.unit

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

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

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

type 'a preorder = Prims.unit

type ('a, 'p, 'rel) stable = Prims.unit