Export Purdue configuration for Cocoon.  Use '--export_cocoon <file>' to export definitions for Cocoon uninterpreted functions to <file>.
Export Purdue configuration for Cocoon.  Use '--export_cocoon <file>' to export definitions for Cocoon uninterpreted functions to <file>.

ryzhyk/cocoon