package GuaCaml

You can search for identifiers within the package.

in-package search v0.2.0

package GuaCaml

GuaCaml
- GuaCaml
  - AB
    
    OfB
    
    OfBStream
    
    ToB
    
    ToBStream
    
    ToS
  - Assoc
  - BRLE
    
    OfB
    
    OfBStream
    
    ToB
    
    ToBStream
    
    ToS
  - BTools
    
    BArray
    
    Nat
    
    OfF
    
    ToF
    
    BChar
    
    IoB
    
    OfB
    
    OfBStream
    
    Channel
    
    ToB
    
    ToBStream
    
    Channel
  - BTools_BArray
    
    DEBUG
    
    OfF
    
    REGULAR
    
    ToF
  - BTools_BArray_Nat
  - BTools_BChar
  - BTools_IoB
  - BTools_OfB
  - BTools_OfBStream
    
    Channel
  - BTools_ToB
  - BTools_ToBStream
    
    Channel
  - BTreeUtils
  - Bicimal
  - BinUtils
  - BoundedMemoSearch
  - DBBC
    
    MSig
    
    Make
    
    H
    
    H0
    
    MakeProfile
    
    H
    
    Sig
    
    H
    
    ToS
  - Extra
  - GGLA_PMC
  - GGLA_cliques_detection
  - GGLA_domination
    
    Domination
  - GGLA_utils
  - GGLA_vertex_separator
    
    One_separator
  - GGLA_vertex_separator_linear
    
    VertexSeparatorLinear
  - GTree
  - GraphAA
  - GraphGenH
    
    ToS
  - GraphGenLA
    
    Check
    
    Component
    
    ToS
    
    Connected
    
    DFS
    
    Normalize
    
    OfB
    
    SccKosaraju
    
    ToB
    
    ToS
    
    TrueTwins
    
    TrueTwinsFree
    
    Type
    
    Utils
  - GraphHFT
    
    OfB
    
    ToB
    
    ToS
    
    Type
  - GraphKD
    
    ToS
  - GraphLA
  - GraphLL
  - H2Array
    
    OfF
    
    ToF
  - H2Table
    
    OfF
    
    ToF
  - Hashcache
    
    Conv
    
    Module
    
    WakeUpConv
  - HuffmanCoding
    
    PQ
  - HuffmanIO
    
    AdaptIdent
    
    BR
    
    BW
  - IntHeap
    
    BR
    
    BW
  - Io
    
    OfF
    
    ToF
  - Iter
  - IterExtra
  - Matrix
  - MemoBTable
  - MemoTable
  - MyArray
  - MyList
  - NameSpace
  - O3
  - O3Extra
  - O3Utils
  - OProfile
  - OUnit
    
    ToS
    
    TrackToS
  - ParseUtils
    
    BasicLexer
    
    CmtLexer
    
    SSBL
  - Poly
  - PriorityQueue
    
    MakeMax
    
    Ord
    
    MakeMin
    
    Ord
    
    S
  - RLE
    
    OfB
    
    OfBStream
    
    ToB
    
    ToBStream
    
    ToS
  - RLE_ABL
    
    OfB
    
    OfBStream
    
    ToB
    
    ToBStream
    
    ToS
  - SHashTable
  - STools
    
    O3S
    
    OfS
    
    OfSTree
    
    SOut
    
    SUtils
    
    ToS
    
    ToSTree
  - SetList
  - Tools
  - Tree
  - TreeUtils
    
    IoB
    
    OfB
    
    OfBStream
    
    OfSTree
    
    ToB
    
    ToBStream
    
    ToS
    
    ToSTree
  - UTree
  - UnionFind
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Channel : sig ... end

type !'a t = Channel.t -> 'a -> unit

val pos : Channel.channel -> unit

val bool_file : Channel.file_channel -> bool -> unit

val bool_barray : Channel.barray_channel -> bool -> unit

val bool : (Channel.data * Channel.channel_type) -> bool -> unit

val sized_bool_list : 
  (Channel.data * Channel.channel_type) ->
  bool list ->
  unit

val sized_unit_list : 'a -> 'b -> unit

val bool_option_list : 
  (Channel.data * Channel.channel_type) ->
  bool option list ->
  unit

val unsafe_unary : (Channel.data * Channel.channel_type) -> int -> unit

val unary : (Channel.data * Channel.channel_type) -> int -> unit

val sized_int : int -> (Channel.data * Channel.channel_type) -> int -> unit

val int_aux : (Channel.data * Channel.channel_type) -> int -> unit

val int_legacy : (Channel.data * Channel.channel_type) -> int -> unit

val int_vanilla_rec : (Channel.data * Channel.channel_type) -> int -> unit

val int_vanilla : (Channel.data * Channel.channel_type) -> int -> unit

val debug_int : Channel.channel -> int -> unit

val int : Channel.channel -> int -> unit

val ntimes : int -> ('a -> 'b -> 'c) -> 'a -> 'b -> unit

val unary_le : int -> (Channel.data * Channel.channel_type) -> int -> unit

val option : 'a t -> Channel.t -> 'a option -> unit

val int_option : Channel.channel -> int option -> unit

val int_bool_result : Channel.channel -> (int, bool) result -> unit

val sized_list : 'a t -> Channel.t -> 'a list -> unit

val sized_bool_list_le : 
  bool list ->
  (Channel.data * Channel.channel_type) ->
  bool list ->
  unit

val int_le : int -> (Channel.data * Channel.channel_type) -> int -> unit

val int' : int -> int -> (Channel.data * Channel.channel_type) -> int -> unit

val list : 'a t -> Channel.channel -> 'a list -> unit

val bool_list : Channel.channel -> bool list -> unit

val none_list : 'a option t -> Channel.t -> 'a list -> unit

val array : 'a t -> Channel.channel -> 'a array -> unit

val pair : 'a t -> 'b t -> Channel.t -> ('a * 'b) -> unit

val (*) : 'a t -> 'b t -> Channel.t -> ('a * 'b) -> unit

val trio : 'a t -> 'b t -> 'c t -> Channel.t -> ('a * 'b * 'c) -> unit

val quad : 
  'a t ->
  'b t ->
  'c t ->
  'd t ->
  Channel.t ->
  ('a * 'b * 'c * 'd) ->
  unit

val unit : 'a -> unit -> unit

val char : (Channel.data * Channel.channel_type) -> char -> unit

val bytes : Channel.channel -> bytes -> unit

val string : Channel.channel -> string -> unit

val float : Channel.channel -> float -> unit

val barray : Channel.channel -> Channel.BA.t -> unit

val btree : 'a t -> Channel.t -> 'a Tree.btree -> unit

val btree_code : ?pf:('a -> bool list -> unit) option -> 'a Tree.btree -> 'a t

val huffman_btree : 
  ?pf:('a -> bool list -> unit) option ->
  'a t ->
  Channel.t ->
  'a Tree.btree ->
  unit

val huffman : 
  ?sofa:('a -> string) option ->
  'a t ->
  Channel.t ->
  ('a * int) list ->
  'a t

val huffman2 : 
  ?sofa:'a STools.ToS.t option ->
  ?post:('a list -> 'a t) option ->
  'a t ->
  Channel.t ->
  ('a * int) list ->
  'a t

val dag_core : 
  ('ident -> int option) ->
  ('ident -> int -> unit) ->
  ('link -> 'ident) ->
  (Channel.channel -> ('link -> int -> int) -> 'link -> int -> int) ->
  (int -> int t) ->
  Channel.channel ->
  'link ->
  int ->
  int

val ctx_dag_core : 
  ('ctx -> 'ident -> int option) ->
  ('ctx -> 'ident -> int -> unit) ->
  ('link -> 'ident) ->
  (Channel.channel ->
    ('ctx -> 'link -> int -> int) ->
    'ctx ->
    'link ->
    int ->
    int) ->
  ('ctx -> int -> int t) ->
  Channel.channel ->
  'ctx ->
  'link ->
  int ->
  int

val hctx_dag_core : 
  ('ctx -> 'ident -> int option) ->
  ('ctx -> 'ident -> int -> unit) ->
  ('link -> 'ident) ->
  (Channel.channel -> ('ctx -> 'link -> unit) -> 'ctx -> 'link -> unit) ->
  ('ctx -> int -> int t) ->
  ('ctx -> int) ->
  ('ctx -> int) ->
  Channel.channel ->
  'ctx ->
  'link ->
  unit

val hctx2_dag_core : 
  ('ctx -> 'ident -> int option) ->
  ('ctx -> 'ident -> int -> unit) ->
  ('link -> 'ident) ->
  (Channel.channel -> ('ctx -> 'link -> unit) -> 'ctx -> 'link -> unit) ->
  ('ctx -> int -> int option t) ->
  ('ctx -> int) ->
  ('ctx -> int) ->
  Channel.channel ->
  'ctx ->
  'link ->
  unit

val hctx3_dag_core : 
  ('ctx -> 'ident -> (int, bool) result) ->
  ('ctx -> 'ident -> int -> unit) ->
  ('link -> 'ident) ->
  (Channel.channel -> ('ctx -> 'link -> unit) -> 'ctx -> 'link -> unit) ->
  ('ctx -> int -> (int, bool) result t) ->
  ('ctx -> int) ->
  ('ctx -> int) ->
  Channel.channel ->
  'ctx ->
  'link ->
  unit

val ofbstream : Channel.channel -> BTools_OfBStream.Channel.t -> unit

val sum_list : 
  ?min:int ->
  int ->
  (Channel.data * Channel.channel_type) ->
  int list ->
  unit