WhoCites Definitions mb label Sections GenAutomata Doc

Who Cites case default?
case_defaultDef Default = > body(value,value) == body

Syntax:Default = > body has structure: case_default(body)

About:
apply!abstraction

WhoCites Definitions mb label Sections GenAutomata Doc