Agda-2.3.2.2: examples/lib/Data/Real/Gauge.agda

module Data.Real.Gauge where

import Data.Rational
open Data.Rational using (Rational)

Gauge = Rational