Agda.TypeChecking.EtaContract

data BinAppView

binAppView

etaContract

etaOnce