package GuaCaml

  1. Overview
  2. Docs
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
val string_of_int_list : int list -> string
val print_int_list : int list -> unit
val string_of_int_list_list : int list list -> string
val string_of_node : ('a -> string) -> ('b -> string) -> ('a, 'b) node -> string
val print_node : ('a -> string) -> ('b -> string) -> ('a, 'b) node -> unit
val print_graph : ('a -> string) -> ('b -> string) -> ('a, 'b) node option array -> unit
val strict_neighbourgs : ('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
OCaml

Innovation. Community. Security.