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