Abstract_domains.Sigs
Copyright © Inria 2023-2024
module type ABSTRACT_DOMAIN = sig ... end
Interface of abstract domains