Previous
Up
Module type
Evaluation.Queries
module type
Queries =
sig
..
end
include
Abstract_domain.Queries
include
Datatype.S