No other cites to report in StandardLib | |
case_pattern1 | Def == x/x2,x1. Def == x2/x2@0,x1@0. Def == InjCase(if x2@0="a"Atominl(*); inr(*) fi Def == InjCase; x1/x2@1,x1@1. Def == InjCase; InjCase(if x1@1=1 inl(*) ; inr(*) fi Def == InjCase; InjCase; body(x1@0;x2@1) Def == InjCase; InjCase; cont(z,z)) Def == InjCase; cont(z,z)) |
Syntax: | <<"abody(b;c) cont | has structure: |
About: