! | Pandora.Paradigm.Primary.Functor.Function, Pandora.Paradigm.Primary.Functor, Pandora.Paradigm.Primary, Pandora.Paradigm |
!! | Pandora.Paradigm.Primary.Functor.Function, Pandora.Paradigm.Primary.Functor, Pandora.Paradigm.Primary, Pandora.Paradigm |
!!! | Pandora.Paradigm.Primary.Functor.Function, Pandora.Paradigm.Primary.Functor, Pandora.Paradigm.Primary, Pandora.Paradigm |
!= | Pandora.Pattern.Object.Setoid, Pandora.Pattern.Object, Pandora.Pattern |