Revision ae4a816f1f164e8a1e33830b53d5b6cb8f8ff587 authored by Pierre-Yves Strub on 16 February 2023, 14:10:41 UTC, committed by Pierre-Yves Strub on 16 February 2023, 15:21:56 UTC
1 parent a9f3453
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 ...
