fstar
  1. Overview
  2. Docs
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a set = 'a BatSet.t
val empty : unit -> 'a BatSet.t
val singleton : 'a -> 'a BatSet.t
val union : 'a BatSet.t -> 'a BatSet.t -> 'a BatSet.t
val intersect : 'a BatSet.t -> 'a BatSet.t -> 'a BatSet.t
val complement : 'a -> 'b BatSet.t
val mem : 'a -> 'a BatSet.t -> bool
type ('A, 'B, 'C) equal = unit
val as_set : 'a list -> 'a BatSet.t
val as_set' : 'a list -> 'a BatSet.t