Documentation

type T_'8734'_10 a0 a1 = Infinity a0 a1 Source #

d_'8734'_10 :: p -> a Source #

pattern C_'9839'__16 :: forall a. a -> Inf a Source #

d_'9837'_22 :: Infinity AgdaAny AgdaAny -> AgdaAny Source #