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
val slice :
'ty FStar_Sequence_Base.seq ->
Prims.nat ->
Prims.nat ->
'ty FStar_Sequence_Base.seqval cons : 'a -> 'a FStar_Sequence_Base.seq -> 'a FStar_Sequence_Base.seqval head : 'a FStar_Sequence_Base.seq -> 'aval tail : 'a FStar_Sequence_Base.seq -> 'a FStar_Sequence_Base.seqval un_build : 'a FStar_Sequence_Base.seq -> 'a FStar_Sequence_Base.seq * 'aval split :
'a FStar_Sequence_Base.seq ->
Prims.nat ->
'a FStar_Sequence_Base.seq * 'a FStar_Sequence_Base.seqval count_matches :
('a -> Prims.bool) ->
'a FStar_Sequence_Base.seq ->
Prims.natval count : 'a -> 'a FStar_Sequence_Base.seq -> Prims.natval fold_back : ('b -> 'a -> 'a) -> 'b FStar_Sequence_Base.seq -> 'a -> 'a