Skip to content

~/bend-docscommunity

src/v2.bend fails

raw source on the hub · import 0x5f97f469d15c04a181dae0e4e64e1d3d/src/v2.bend as V2

3 imports

import Base
import ./class.bend as C
import ./u32.bend as U32

Laws

law sub_add unverifiedits file does not pass the checker (fails)source · line 23 · raw

@a:V2 -> @b:V2 -> {a == sub(add(a, b), b) : V2}

law add_sub unverifiedits file does not pass the checker (fails)source · line 35 · raw

@a:V2 -> @b:V2 -> {a == add(sub(a, b), b) : V2}

Types

type V2 source · line 10 · raw

Data

V2
```
@x:U32 -> @y:U32 -> V2
```

Definitions

def add source · line 13 · raw

@a:V2 -> @b:V2 -> V2

def sub source · line 18 · raw

@a:V2 -> @b:V2 -> V2

def group source · line 47 · raw

0x5f97f469d15c04a181dae0e4e64e1d3d/src/class.Group<V2>