To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package fstar
-
fstarlib
-
fstartaclib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type (!'a, 'n) llist = 'a Prims.listval rev' : 'a Prims.list -> 'a Prims.listval rev'T : Prims.unit -> 'uuuuu Prims.list -> 'uuuuu Prims.listval sorted : ('a -> 'a -> Prims.bool) -> 'a Prims.list -> Prims.booltype ('a, 'f) total_order = Prims.unit