Skip to content

~/bend-docscommunity

protocol.bend checks

raw source on the hub · import 0xf5507d46d06a1a8043dcb1a582194615/protocol.bend as Protocol

1 import

import Base

Types

type Command source · line 3 · raw

Data

Intern
```
@name:String -> Command
```
Find
```
@name:String -> Command
```
Resolve
```
@id:U32 -> Command
```
Length
```
Command
```
Limit
```
Command
```

type Reply source · line 10 · raw

Data

Id
```
@id:U32 -> Reply
```
Name
```
@name:String -> Reply
```
Missing
```
Reply
```
Invalid
```
Reply
```
Full
```
Reply
```
Number
```
@value:U32 -> Reply
```

type Observation source · line 18 · raw

Data

Observed

@reply:Reply -> @length:U32 -> @limit:U32 -> @names:List<&2, String> -> Observation

Definitions

def reply_eq source · line 21 · raw

@a:Reply -> @b:Reply -> Bool

def names_eq source · line 31 · raw

@a:List<&2, String> -> @b:List<&2, String> -> Bool

def observation_eq source · line 37 · raw

@a:Observation -> @b:Observation -> Bool

def trace_eq source · line 42 · raw

@a:List<&2, Observation> -> @b:List<&2, Observation> -> Bool