pub fn parse_clause_data<'a>(
clause: &'a Clause<'a>,
_config: &ParserConfig,
) -> Result<ClauseData, ConversionError>
Expand description
Convert a parser Clause to IR ClauseData
This is the main conversion function that handles all clause types.
§Strategy
For now, we’ll implement a subset of clauses and mark others as unsupported. This allows incremental development.