def to_literal(self) -> Type[Micheline]:
if self.ptr is not None:
return MichelineLiteral.create(self.ptr)
else:
return MichelineSequence.create_type(args=[])
def to_literal(self) -> Type[Micheline]:
return MichelineLiteral.create(self.value)
def empty(memo_size: int):
cls = SaplingStateType.create_type(
args=[MichelineLiteral.create(memo_size)])
return cls()