package GuaCaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type s
type sub
val index : t -> int
val card : s -> int
val iter : (t -> unit) -> s -> unit
val iter_subset : (t -> unit) -> sub -> unit
val fold : (t -> 'a -> 'a) -> s -> 'a -> 'a
val to_string : s -> t -> string