package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val (++) : 'a list -> 'a list -> 'a list
val (--) : 'a list -> 'a list -> 'a list
type (!'t, !'b) node = {
  1. index : int;
  2. edges : int list;
  3. tag : 't;
  4. bag : 'b;
}
type (!'t, !'b) graph = ('t, 'b) node option array
module ToS : sig ... end
val strict_neighbors : ('t, 'b) graph -> ('t, 'b) node -> ('t, 'b) node list
val internal_elim_node : ('t, 'b) graph -> ('t, 'b) node -> unit
val merging : ('t -> 't -> bool) -> ('b -> 'b -> 'b) -> ('t, 'b) graph -> unit
val connex_components : ('t, 'b) graph -> ('t, 'b) graph list
val check : ('a -> 'a -> bool) -> ('a, 'b) node option array -> bool