Function parse_clause_data

Source
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.