C2PO User Guide# Input Language Identifiers Types Inputs Supported Operators Set Aggregation Definitions Specifications Specification Labels Assume-Guarantee Contracts Signal Mapping Map File Trace File MLTL Standard Format Optimizations Common Sub-expression Elimination Rewrite Rules Equality Saturation Extended Operators Output Formats CLI Options Positional Arguments: Optional Arguments:
