conformance.bend checks
raw source on the hub · import 0xd684886d10b431b9dce6c3b2d1ef1980/conformance.bend as Conformance
3 imports
import Base import ./trace.bend as T import ./model.bend as M
Definitions
def empty source · line 5 · raw
Bool
def growth_values source · line 8 · raw
Bool
def logical_bounds source · line 11 · raw
Bool
def updates source · line 14 · raw
Bool
def push_pop source · line 17 · raw
Bool
def ranges source · line 20 · raw
Bool
def limits source · line 23 · raw
Bool
def selected source · line 26 · raw
@m:Maybe<&2, 0xd684886d10b431b9dce6c3b2d1ef1980/model.Op> -> 0xd684886d10b431b9dce6c3b2d1ef1980/model.Op
def alphabet source · line 31 · raw
List<&2, 0xd684886d10b431b9dce6c3b2d1ef1980/model.Op>
def decode source · line 34 · raw
@n:Nat -> @+code:U32 -> List<&2, 0xd684886d10b431b9dce6c3b2d1ef1980/model.Op>
def exhaustive source · line 40 · raw
@n:Nat -> @+code:U32 -> Bool
def named source · line 47 · raw
Bool
def main source · line 50 · raw
Bool