683     let f16_: &TypeVar = &ValueType::from(LaneType::from(types::Float::F16)).into();  in define()
684     let f32_: &TypeVar = &ValueType::from(LaneType::from(types::Float::F32)).into();  in define()
685     let f64_: &TypeVar = &ValueType::from(LaneType::from(types::Float::F64)).into();  in define()
686     let f128_: &TypeVar = &ValueType::from(LaneType::from(types::Float::F128)).into();  in define()
2790     let Float = &TypeVar::new(  in define()  localVariable
2882             Operand::new("x", Float),  in define()
2883             Operand::new("y", Float),  in define()
2885         .operands_out(vec![Operand::new("a", &Float.as_truthy())]),  in define()
2896         .operands_in(vec![Operand::new("x", Float), Operand::new("y", Float)])  in define()
2898             Operand::new("a", Float).with_doc("Result of applying operator to each lane"),  in define()
2910         .operands_in(vec![Operand::new("x", Float), Operand::new("y", Float)])  in define()
2912             Operand::new("a", Float).with_doc("Result of applying operator to each lane"),  in define()
2924         .operands_in(vec![Operand::new("x", Float), Operand::new("y", Float)])  in define()
2926             Operand::new("a", Float).with_doc("Result of applying operator to each lane"),  in define()
2942         .operands_in(vec![Operand::new("x", Float), Operand::new("y", Float)])  in define()
2944             Operand::new("a", Float).with_doc("Result of applying operator to each lane"),  in define()
2956         .operands_in(vec![Operand::new("x", Float)])  in define()
2958             Operand::new("a", Float).with_doc("Result of applying operator to each lane"),  in define()
2974             Operand::new("x", Float),  in define()
2975             Operand::new("y", Float),  in define()
2976             Operand::new("z", Float),  in define()
2979             Operand::new("a", Float).with_doc("Result of applying operator to each lane"),  in define()
2993         .operands_in(vec![Operand::new("x", Float)])  in define()
2995             Operand::new("a", Float).with_doc("``x`` with its sign bit inverted"),  in define()
3009         .operands_in(vec![Operand::new("x", Float)])  in define()
3011             Operand::new("a", Float).with_doc("``x`` with its sign bit cleared"),  in define()
3026         .operands_in(vec![Operand::new("x", Float), Operand::new("y", Float)])  in define()
3028             Operand::new("a", Float).with_doc("``x`` with its sign bit changed to that of ``y``"),  in define()
3045         .operands_in(vec![Operand::new("x", Float), Operand::new("y", Float)])  in define()
3047             Operand::new("a", Float).with_doc("The smaller of ``x`` and ``y``"),  in define()
3064         .operands_in(vec![Operand::new("x", Float), Operand::new("y", Float)])  in define()
3066             Operand::new("a", Float).with_doc("The larger of ``x`` and ``y``"),  in define()
3078         .operands_in(vec![Operand::new("x", Float)])  in define()
3080             Operand::new("a", Float).with_doc("``x`` rounded to integral value"),  in define()
3092         .operands_in(vec![Operand::new("x", Float)])  in define()
3094             Operand::new("a", Float).with_doc("``x`` rounded to integral value"),  in define()
3106         .operands_in(vec![Operand::new("x", Float)])  in define()
3108             Operand::new("a", Float).with_doc("``x`` rounded to integral value"),  in define()
3121         .operands_in(vec![Operand::new("x", Float)])  in define()
3123             Operand::new("a", Float).with_doc("``x`` rounded to integral value"),  in define()
3623         .operands_in(vec![Operand::new("x", Float)])  in define()
3636         .operands_in(vec![Operand::new("x", Float)])  in define()
3650         .operands_in(vec![Operand::new("x", Float)])  in define()