Language.Reflection.Relation

Definitions

metadataEq : TTImp -> TTImp -> Bool

Visibility: public export

subexprs : TTImp -> List TTImp

Visibility: public export