Function float_type

tests/webidl/WebIDLParser.js:135–143

()

    };

    var float_type = function() {
      var ret = "";
      all_ws();
      if (consume(ID, "unrestricted")) ret = "unrestricted ";
      all_ws();
      if (consume(ID, "float")) return ret + "float";
      if (consume(ID, "double")) return ret + "double";
      if (ret) error("Failed to parse float type");
    };

    var primitive_type = function() {
      var num_type = integer_type() || float_type();