------------------------------------------------------------------------ -- The Agda standard library -- -- The reflexive transitive closures of McBride, Norell and Jansson -- -- This module is DEPRECATED. Please use the -- Relation.Binary.Construct.Closure.ReflexiveTransitive module directly ------------------------------------------------------------------------ module Data.Star where open import Relation.Binary.Construct.Closure.ReflexiveTransitive public