module type Domain = sig .. end
sig
end
include Datatype.S_with_collections
type return
module Return: Datatype.S with type t = return
Datatype.S
with type t = return
val filter_by_bases : Base.Hptset.t -> t -> t
Base.Hptset.t -> t -> t
val reuse : current_input:t -> previous_output:t -> t
current_input:t -> previous_output:t -> t