purescript-0.15.0: tests/purs/docs/src/PrimSubmodules.purs

module PrimSubmodules (Lol(..), x, y, module O) where

import Prim.Ordering (Ordering, LT, EQ, GT) as O

data Lol (a :: O.Ordering) = Lol Int

x :: Lol O.LT
x = Lol 0

y :: Lol O.EQ
y = Lol 1