package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = (bool * int list) option
type brle = t
module ToS : sig ... end
val empty : t
val single : (int * bool) -> t
val length : t -> int
val normalized : t -> bool
val rev : t -> t
val cons : (int * bool) -> t -> t
val uncons : t -> ((int * bool) * t) option
val push : ?n:int -> bool -> t -> t
val bw_not : t -> t
val bw_cnot : bool -> t -> t
val rev_bw_and_rec : t -> bool -> int list -> bool -> int list -> t
val rev_bw_xor_rec : t -> bool -> int list -> bool -> int list -> t
val bw_and : t -> t -> t
val bw_or : t -> t -> t
val bw_xor : t -> t -> t
val rev_normalize_rec : t -> bool -> int list -> t
val normalize : t -> t
val of_rle : bool RLE.t -> t
val rev_to_rle_rec : bool RLE.t -> bool -> int list -> bool RLE.t
val to_rle : t -> bool RLE.t
val reduce : bool list -> t
val rev_expand_append : bool list -> bool -> int list -> bool list
val rev_expand : t -> bool list
val expand : t -> bool list
val rev_of_int_list_rec : t -> int -> int -> int list -> t
val of_int_list : int -> int list -> t
val to_int_list : t -> int list
val pull : ?n:int -> t -> bool * t
val hdtl : t -> bool * t
val move : t -> int -> t -> t * t
val rev_append : t -> t -> t
val append : t -> t -> t
val hdtl_nth : int -> t -> t * t
val count_rec : int -> bool -> int list -> int
val count : bool -> (bool * int list) option -> int
val count_true : (bool * int list) option -> int
val count_false : (bool * int list) option -> int
val forall : bool -> t -> bool
module ToB : sig ... end
module OfB : sig ... end
module ToBStream : sig ... end
module OfBStream : sig ... end