nom-0.1.0.1: Name-binding & alpha-equivalence

Safe Haskell	None
Language	Haskell2010

Language.Nominal.Properties.EquivarSpec

Synopsis

prop_atoms_one_orbit :: [Name ()] -> Bool
prop_atomssq_orbit :: [(Name (), Name ())] -> Bool

Documentation

prop_atoms_one_orbit :: [Name ()] -> Bool Source #

Only one orbit of atoms

prop_atomssq_orbit :: [(Name (), Name ())] -> Bool Source #

Two orbits of atom pairs (equal, or disjoint)