_รท_

Link could refer to the following module-defined implementations:
  1. /avail/Avail/Foundation/Bootstrap/Primitives
  2. /avail/Dimensional Analysis/Core