proof_observations.bend checks

raw source on the hub · import 0x88d5b48c03f82f217d3a2aa0656744f4/proof_observations.bend as Proof_observations

3 imports

import Base
import ./main.bend as S
import ./types.bend as T

Definitions

def text_pair source · line 5 · raw

@pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, String) -> Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, String>

def text source · line 9 · raw

@r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, String>

def file_pair source · line 14 · raw

@pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, U32) -> Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, U32>

def file source · line 18 · raw

@r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, U32>

def length source · line 23 · raw

@r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, U32>

def lines source · line 28 · raw

@r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, U32>

def scalar_pair source · line 33 · raw

@pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, U32) -> U32

def size source · line 37 · raw

@s:0x88d5b48c03f82f217d3a2aa0656744f4/main.Source -> U32

def identity source · line 40 · raw

@s:0x88d5b48c03f82f217d3a2aa0656744f4/main.Source -> U32