def init.extra

ezmcp@0.1.0.0 · src/server.bend:126

import Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value

126# the instructions member, when there are any
127def init.extra(
128  instructions: String,
129  empty: Bool
130) -> List<&1, String & Value.Json>:
131  match empty:
132    case True{}:
133      []
134    case False{}:
135      [("instructions", Json.str(instructions))]