benchmark.bend checks

type Counts source · line 4 · raw

Data

• Counts

  @growths:U32 -> @copied:U32 -> @initialized:U32 -> Counts

type Report source · line 7 · raw

Data

• Report

  @n:U32 -> @capacity:U32 -> @growths:U32 -> @copied:U32 -> @initialized:U32 -> @checksum:U32 -> @valid:Bool -> Report

def count_growth source · line 10 · raw

@old:U32 -> @new:U32 -> @used:U32 -> @counts:Counts -> @grew:Bool -> Counts

def pushed source · line 17 · raw

@used:U32 -> @+old:U32 -> @counts:Counts -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, U32) -> Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Counts)

def pushed_result source · line 21 · raw

@used:U32 -> @old:U32 -> @counts:Counts -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, Unit>) -> Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Counts)

def push_one source · line 25 · raw

@+i:U32 -> @counts:Counts -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, U32) -> Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Counts)

def build source · line 29 · raw

@n:Nat -> @+i:U32 -> @state:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Counts) -> Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Counts)

def check_result source · line 36 · raw

@expected:U32 -> @sum:U32 -> @ok:Bool -> @r:Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, U32> -> Pair(U32, Bool)

def checked source · line 41 · raw

@expected:U32 -> @sum:U32 -> @ok:Bool -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, U32>) -> Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Pair(U32, Bool))

def verify source · line 45 · raw

@n:Nat -> @+i:U32 -> @state:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Pair(U32, Bool)) -> Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Pair(U32, Bool))

def report source · line 52 · raw

@n:U32 -> @counts:Counts -> @sum:U32 -> @ok:Bool -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, U32) -> Report

def verified source · line 58 · raw

@n:U32 -> @counts:Counts -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Pair(U32, Bool)) -> Report

def built source · line 62 · raw

@+n:Nat -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<U32>, Counts) -> Report

def workload source · line 66 · raw

@+n:Nat -> Report