Beispiel #1
0
 def to_literal(self) -> Type[Micheline]:
     if self.ptr is not None:
         return MichelineLiteral.create(self.ptr)
     else:
         return MichelineSequence.create_type(args=[
             EltLiteral.create_type(
                 args=[k.to_literal(), v.to_literal()])
             for k, v in self.items
         ])
Beispiel #2
0
 def empty(memo_size: int):
     cls = SaplingStateType.create_type(
         args=[MichelineLiteral.create(memo_size)])
     return cls()
Beispiel #3
0
 def to_literal(self) -> Type[Micheline]:
     if self.ptr is not None:
         return MichelineLiteral.create(self.ptr)
     else:
         return MichelineSequence.create_type(args=[])
Beispiel #4
0
 def to_literal(self) -> Type[Micheline]:
     return MichelineLiteral.create(self.value)