| No other cites to report in MarkB_generic | |
| pattern2 | Def < a, inl < < "a", b > , c, 1 > > == < a,inl( < < "a", b > , c, 1 > ) > |
| pattern1 | Def < < "a", b > , c, 1 > == < < "a",b > ,c,1 > |
| Syntax: | < a, inl < < "a", b > , c, 1 > > | has structure: | pattern2(a; b; c) |
About:
| | | | |