Protocol.operation.valid: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
Lines 381-399 of mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&start_line=381&end_line=399

import Base

def operation.valid(code: U32) -> Bool:
  match code:
    case 1: True{}
    case 2: True{}
    case 3: True{}
    case 4: True{}
    case 5: True{}
    case 6: True{}
    case 7: True{}
    case 8: True{}
    case 9: True{}
    case 10: True{}
    case 11: True{}
    case 12: True{}
    case 13: True{}
    case 14: True{}
    case 15: True{}
    case 16: True{}
    case _: False{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil