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))