Graph_algorithms (graph_algorithms.Graph

module Nat : sig ... end

type 'a adjacency_list = ('a * 'a list) list

module Make (V : Core_kernel.Comparable.S) : sig ... end

val connectivity : 
  (module Core_kernel.Comparable.S with type t = 'a) ->
  'a0 adjacency_list ->
  Nat.t