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 queue = 'a Prims.list * 'a Prims.list

val empty : Prims.unit -> 'a queue

val queue_to_list : 'a queue -> 'a Prims.list

val queue_of_list : 'a Prims.list -> 'a queue

val queue_to_seq : 'a queue -> 'a FStar_Seq_Base.seq

val queue_of_seq : 'a FStar_Seq_Base.seq -> 'a queue

type ('a, 'q1, 'q2) equal = Prims.unit

type ('a, 'q) not_empty = Prims.unit

val enqueue : 'a -> 'a queue -> 'a queue

val dequeue : 'a queue -> 'a * 'a queue

val peek : 'a queue -> 'a