slang_frontend::semantic_analysis::operations

Module logical

Source

Functionsยง

check_logical_operation
Checks if types are compatible for logical operations (AND, OR). Both operands must be boolean types.