def __call__(self, *args : cryptoltypes.CryptolJSON) -> 'CryptolTerm': out_term = self.expression for a in args: out_term = cryptoltypes.CryptolApplication(out_term, a) return CryptolTerm(out_term)
def __call__(self, *args : cryptoltypes.CryptolJSON) -> 'CryptolTerm': return CryptolTerm(cryptoltypes.CryptolApplication(self.expression, *args))