AgdaInternal.EtaExpansion.
FOL.Translation.Terms.
FOL.Translation.Functions.