package GuaCaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a t = (int * 'a) list
type !'a rle = 'a t
module ToS : sig ... end
val normalized_rec : 'a -> 'a t -> bool
val normalized : 'a t -> bool
val rev : 'a t -> 'a t
val rev_normalize_rec : 'a t -> int -> 'a -> 'a t -> 'a t
val rev_normalize : 'a t -> 'a t
val normalize : 'a t -> 'a t
val rev_reduce_rec : 'a t -> int -> 'a -> 'a list -> 'a t
val rev_reduce : 'a list -> 'a t
val reduce : 'a list -> 'a t
val rev_expand_append : 'a t -> 'a list -> 'a list
val rev_expand : 'a t -> 'a list
val expand : 'a t -> 'a list
val rev_combine_rec : ('a * 'b) t -> 'a t -> 'b t -> ('a * 'b) t
val rev_combine : 'a t -> 'b t -> ('a * 'b) t
val combine : 'a t -> 'b t -> ('a * 'b) t
val cons : (int * 'a) -> 'a t -> 'a t
val push : ?n:int -> 'a -> 'a t -> 'a t
val pull : ?n:int -> 'a t -> 'a * 'a t
val hdtl : 'a t -> 'a * 'a t
val move_rec : 'a t -> int -> 'a t -> 'a t * 'a t
val move : 'a t -> int -> 'a t -> 'a t * 'a t
val move_map : (int -> 'a -> 'b) -> 'a t -> int -> 'b t -> 'a t * 'b t
val rev_map_append : (int -> 'a -> 'b) -> 'a t -> 'b t -> 'b t
val rev_map : (int -> 'a -> 'b) -> 'a t -> 'b t
val map : (int -> 'a -> 'b) -> 'a t -> 'b t
val rev_append : 'a t -> 'a t -> 'a t
val hdtl_nth : int -> 'a t -> 'a t * 'a t
val length : 'a t -> int
val split : ('a * 'b) t -> 'a t * 'b t
val rev_unop_rec : 'a t -> 'a option t -> 'a t
val rev_unop : 'a option t -> 'a t
val unop : 'a option t -> 'a t
module ToB : sig ... end
module OfB : sig ... end
module ToBStream : sig ... end
module OfBStream : sig ... end