Minor improvements to one_hot_to_binary's documentation:

- Add `one_hot_to_binary` to helpers.rst, in a new "Encoders and Decoders" section.
- Fix broken link to `as_wires` and add a link to `Const`.
- Use two spaces before inline comments for consistency with the rest of the file
- Minor formatting changes

docs/helpers.rst

@@ -106,3 +106,9 @@ addition, subtraction, multiplication, comparison, and many others).
 .. autofunction:: pyrtl.corecircuits.shift_right_arithmetic
 .. autofunction:: pyrtl.corecircuits.shift_left_logical
 .. autofunction:: pyrtl.corecircuits.shift_right_logical
+
+Encoders and Decoders
+---------------------
+
+.. autofunction:: pyrtl.helperfuncs.one_hot_to_binary
+

pyrtl/helperfuncs.py

@@ -1688,20 +1688,21 @@ def __len__(self):
 def one_hot_to_binary(w) -> WireVector:
     '''Takes a one-hot input and returns the bit position of the high bit in binary.
 
-    :param w: WireVector or a WireVector-like object or something that can be converted
-        into a Const (in accordance with the :py:func:`as_wires()` required input). Example
-        inputs: 0b0010, 64, 0b01.
+    :param w: WireVector, WireVector-like object, or something that can be converted
+        into a :py:class:`.Const` (in accordance with the :py:func:`.as_wires()`
+        required input). Example inputs: ``0b0010``, ``64``, ``0b01``.
     :return: The bit position of the high bit in binary as a WireVector.
 
-    If the input contains multiple 1s, the bit position of the first 1 will
-        be returned. If the input contains no 1s, 0 will be returned.
+    If the input contains multiple ``1``s, the bit position of the first ``1`` will be
+    returned. If the input contains no ``1``s, ``0`` will be returned.
 
     Examples::
 
-        one_hot_to_binary(0b0010) # returns 1
-        one_hot_to_binary(64) # returns 6
-        one_hot_to_binary(0b1100) # returns 2, the bit position of the first 1
-        one_hot_to_binary(0) # returns 0
+        one_hot_to_binary(0b0010)  # returns 1
+        one_hot_to_binary(64)  # returns 6
+        one_hot_to_binary(0b1100)  # returns 2, the bit position of the first 1
+        one_hot_to_binary(0)  # returns 0
+
     '''
 
     w = as_wires(w)