Module type Evaluation.Queries

module type Queries = sig .. end

include Abstract_domain.Queries
include Datatype.S