prometheus4cats/prometheus4cats.internal/ShapelessPolyfill/GT

GT

object GT
Companion:
class
Source:
ShapelessPolyfill.scala
class Object
trait Matchable
class Any
GT.type

Givens

Givens

given gt1[B <: Nat]: GT[S[B], _0]
given gt2[A <: Nat, B <: Nat](using GT[A, B]): GT[S[A], S[B]]