package fstar
-
fstar.lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package fstar
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