{-

types:

FiniteSet :: (*->*, data)

values:

a___2_M_2 ::

forall a . (FiniteSet a, FiniteSet a) -> FiniteSet a

a___2_P_2 ::

forall a . (FiniteSet a, FiniteSet a) -> FiniteSet a

a___b_2_r :: forall a . a -> FiniteSet a

a___b_r :: forall a . FiniteSet a

FiniteSet :: forall a . FiniteSet a

scope:

Prelude.FiniteSet |-> Prelude.FiniteSet, Type [FiniteSet] []

Prelude.FiniteSet |-> Prelude.FiniteSet, con of FiniteSet

Prelude.a___2_M_2 |-> Prelude.a___2_M_2, Value

Prelude.a___2_P_2 |-> Prelude.a___2_P_2, Value

Prelude.a___b_2_r |-> Prelude.a___b_2_r, Value

Prelude.a___b_r |-> Prelude.a___b_r, Value

FiniteSet |-> Prelude.FiniteSet, Type [FiniteSet] []

FiniteSet |-> Prelude.FiniteSet, con of FiniteSet

a___2_M_2 |-> Prelude.a___2_M_2, Value

a___2_P_2 |-> Prelude.a___2_P_2, Value

a___b_2_r |-> Prelude.a___b_2_r, Value

a___b_r |-> Prelude.a___b_r, Value

-}

module Dummy where

data FiniteSet a1 = FiniteSet

a___2_P_2

:: (FiniteSet a, FiniteSet a) -> FiniteSet a

a___2_P_2

= error{-((FiniteSet a, FiniteSet a) ->

FiniteSet a)-}

"a___2_P_2"

a___2_M_2

:: (FiniteSet a, FiniteSet a) -> FiniteSet a

a___2_M_2

= error{-((FiniteSet a, FiniteSet a) ->

FiniteSet a)-}

"a___2_M_2"

a___b_2_r :: a -> FiniteSet a

a___b_2_r = error{-(a -> FiniteSet a)-} "a___b_2_r"

a___b_r :: FiniteSet a

a___b_r = error{-(FiniteSet a)-} "a___b_r"