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 seq =

val uu___is_MkSeq : 'a seq -> Prims.bool

val __proj__MkSeq__item__l : 'a seq -> 'a Prims.list

val length : 'uuuuu seq -> Prims.nat

val seq_to_list : 'uuuuu seq -> 'uuuuu Prims.list

val seq_of_list : 'uuuuu Prims.list -> 'uuuuu seq

val index : 'uuuuu seq -> Prims.nat -> 'uuuuu

val _cons : 'a -> 'a seq -> 'a seq

val hd : 'a seq -> 'a

val tl : 'a seq -> 'a seq

val create : Prims.nat -> 'uuuuu -> 'uuuuu seq

val init_aux' : Prims.nat -> Prims.nat -> (Prims.nat -> 'a) -> 'a seq

val init_aux : Prims.nat -> Prims.nat -> (Prims.nat -> 'a) -> 'a seq

val init : Prims.nat -> (Prims.nat -> 'uuuuu) -> 'uuuuu seq

val empty : Prims.unit -> 'uuuuu seq

val createEmpty : Prims.unit -> 'a seq

val upd' : 'a seq -> Prims.nat -> 'a -> 'a seq

val upd : 'a seq -> Prims.nat -> 'a -> 'a seq

val append : 'uuuuu seq -> 'uuuuu seq -> 'uuuuu seq

val cons : 'a -> 'a seq -> 'a seq

val op_At_Bar : 'a seq -> 'a seq -> 'a seq

val slice' : 'a seq -> Prims.nat -> Prims.nat -> 'a seq

val slice : 'a seq -> Prims.nat -> Prims.nat -> 'a seq

type ('a, 's1, 's2) equal = Prims.unit

val eq_i' : 'a seq -> 'a seq -> Prims.nat -> Prims.bool

val eq_i : 'a seq -> 'a seq -> Prims.nat -> Prims.bool

val eq : 'uuuuu seq -> 'uuuuu seq -> Prims.bool