Replicated

[Source]

A data type that supports token-based serialization and deserialization.

interface ref Replicated

Public Functions

from_tokens

[Source]

Deserialize an instance of this data structure from a stream of tokens.

fun ref from_tokens(
  that: TokensIterator ref)
: None val ?

Parameters

• that: TokensIterator ref

Returns

• None val ?

---

each_token

[Source]

Serialize the data structure, capturing each token into the given Tokens.

fun ref each_token(
  tokens: Tokens ref)
: None val

Parameters

• tokens: Tokens ref

Returns

• None val

---