Agda.Compiler.Epic.Interface

type Var

data Tag

data Forced

pairwiseFilter

notForced

forced

data Relevance

type ForcedArgs

type RelevantArgs

data InjectiveFun

data EInterface