- x -

• x86_extended : ieee_float_spect
• xml : coverage_recordt , xml_parse_treet
• xml_node : xml_edget
• xnor : smt_bit_vector_theoryt