cases.bend checks
raw source on the hub · import 0xf5507d46d06a1a8043dcb1a582194615/cases.bend as Cases
5 imports
import Base import ./protocol.bend as P import ./observe.bend as O import ./model.bend as M import ./main.bend as S
Definitions
def check source · line 7 · raw
@+commands:List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Command> -> @+limit:U32 -> Bool
def repeat source · line 10 · raw
List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Command>
def full source · line 13 · raw
List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Command>
def unicode source · line 16 · raw
List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Command>
def growth source · line 19 · raw
@count:Nat -> List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Command>
def all_cases source · line 24 · raw
Bool
def alphabet source · line 27 · raw
List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Command>
def enumerate source · line 30 · raw
@depth:Nat -> @+prefix:List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Command> -> @+limit:U32 -> Bool
def exhaustive source · line 36 · raw
Bool