# PCSA estimator control comment = 'Aggregation functions and data type for distinct estimation based on PCSA.' default_version = '1.3.3' relocatable = true module_pathname = '$libdir/pcsa_counter'