Revision fec4d5f78563859a039c8061ad1f84bce83183fc authored by Pierre-Yves Strub on 23 July 2022, 05:43:55 UTC, committed by Pierre-Yves Strub on 23 July 2022, 06:12:54 UTC
1 parent aee8bfe
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 ...