Agda.Compiler.Epic.Interface
type Var
data Tag
data Forced
pairwiseFilter
notForced
forced
data Relevance
type ForcedArgs
type RelevantArgs
data InjectiveFun
data EInterface