Revision 1dd51308999f3b164f0c95a2f858d420b2a5a2ff authored by Christian Doczkal on 12 May 2022, 08:35:59 UTC, committed by Pierre-Yves Strub on 17 October 2022, 13:31:22 UTC
1 parent fc2bfba
ecTypeClass.mli
(* -------------------------------------------------------------------- *)
open EcPath
type node = path
type graph
type nodes
exception CycleDetected
module Graph : sig
val empty : graph
val add : src:node -> dst:node -> graph -> graph
val has_path : src:node -> dst:node -> graph -> bool
val dump : graph -> string
end
module Nodes : sig
val empty : graph -> nodes
val add : node -> nodes -> nodes
val toset : nodes -> Sp.t
val reduce : Sp.t -> graph -> Sp.t
end
Computing file changes ...
