def __to_cryptol__(self, ty : Any) -> Any:
return cryptoltypes.CryptolLiteral(self.name()).__to_cryptol__(ty)
def __init__(self, code : Union[str, cryptoltypes.CryptolJSON]):
if isinstance(code, str):
self.expression = cryptoltypes.CryptolLiteral(code)
else:
self.expression = code
def cry(exp):
return cryptoltypes.CryptolLiteral(exp)
def __to_cryptol_str__(self) -> str:
return cryptoltypes.CryptolLiteral(self.name()).__to_cryptol_str__()
def __to_cryptol__(self) -> cryptoltypes.JSON:
return cryptoltypes.CryptolLiteral(self.name()).__to_cryptol__()
def __to_cryptol__(self, ty: Any) -> Any:
if self.name is None:
self.name = self.spec.get_fresh_name()
return cryptoltypes.CryptolLiteral(self.name).__to_cryptol__(ty)