module type InputDomain = sig .. end
sig
end
include Abstract_domain.S_with_Structure
val storage : unit -> bool
unit -> bool