pds-reachability
Pds_reachability_utils
This module contains some convenient definitions used throughout the rest of this library.
module type Decorated_type = sig ... end
A type for modules which carry a value type along with a few common operations on that type.