Module Constraints.CompareHashtbl
Parameters
module VH : Batteries.Hashtbl.S with type key = Var.t
Signature
include sig ... end
val compare :
?verbose:bool ->
?name1:string ->
?name2:string ->
Dom.t VH.t ->
Dom.t VH.t ->
Goblint_lib__PrecCompare.Comparison.t * Goblint_lib__PrecCompare.Pretty.doc