| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Labels.Internal
Contents
Description
This module provides a way to name the fields in a regular Haskell tuple and then look them up later, statically.
Documentation
Field named l labels value of type t.
Example: (#name := "Chris") :: ("name" := String)
Constructors
| KnownSymbol label => (Proxy label) := value infix 6 |
Instances
| Cons label value ((:=) label' value') # | |
| Has l a (u1, (:=) l a) # | |
| Has l a ((:=) l a, u2) # | |
| Has l a ((:=) l a) # | |
| Has l a (u1, u2, (:=) l a) # | |
| Has l a (u1, (:=) l a, u3) # | |
| Has l a ((:=) l a, u2, u3) # | |
| Has l a (u1, u2, u3, (:=) l a) # | |
| Has l a (u1, u2, (:=) l a, u4) # | |
| Has l a (u1, (:=) l a, u3, u4) # | |
| Has l a ((:=) l a, u2, u3, u4) # | |
| Has l a (u1, u2, u3, u4, (:=) l a) # | |
| Has l a (u1, u2, u3, (:=) l a, u5) # | |
| Has l a (u1, u2, (:=) l a, u4, u5) # | |
| Has l a (u1, (:=) l a, u3, u4, u5) # | |
| Has l a ((:=) l a, u2, u3, u4, u5) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, (:=) l a, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, (:=) l a, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, (:=) l a, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, (:=) l a, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, (:=) l a, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, (:=) l a, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| (KnownSymbol l1, KnownSymbol l2, c v1, c v2) => Reflect c ((:=) l1 v1, (:=) l2 v2) # | |
| (KnownSymbol l1, c v1) => Reflect c ((:=) l1 v1) # | |
| (KnownSymbol l1, KnownSymbol l2, Has l1 t1 r, Has l2 t2 r) => Project r ((:=) l1 t1, (:=) l2 t2) # | |
| (KnownSymbol l1, Has l1 t1 r) => Project r ((:=) l1 t1) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, c v1, c v2, c v3) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, c v1, c v2, c v3, c v4) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, c v1, c v2, c v3, c v4, c v5) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, c v1, c v2, c v3, c v4, c v5, c v6) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, c v1, c v2, c v3, c v4, c v5, c v6, c v7) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20, c v21) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20, (:=) l21 t21) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20, c v21, c v22) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20, (:=) l21 t21, (:=) l22 t22) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20, c v21, c v22, c v23) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22, (:=) l23 v23) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r, Has l23 t23 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20, (:=) l21 t21, (:=) l22 t22, (:=) l23 t23) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23, KnownSymbol l24, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20, c v21, c v22, c v23, c v24) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22, (:=) l23 v23, (:=) l24 v24) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23, KnownSymbol l24, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r, Has l23 t23 r, Has l24 t24 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20, (:=) l21 t21, (:=) l22 t22, (:=) l23 t23, (:=) l24 t24) # | |
| (Has l1 t1 r, Has l2 t2 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2) r # | |
| Has l1 t1 r => Subset * * ((:=) l1 t'1) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20, (:=) l21 t'21) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20, (:=) l21 t'21, (:=) l22 t'22) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r, Has l23 t23 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20, (:=) l21 t'21, (:=) l22 t'22, (:=) l23 t'23) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r, Has l23 t23 r, Has l24 t24 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20, (:=) l21 t'21, (:=) l22 t'22, (:=) l23 t'23, (:=) l24 t'24) r # | |
| (KnownSymbol l1, KnownSymbol l2) => Labels * ((:=) l1 v1, (:=) l2 v2) # | |
| KnownSymbol l1 => Labels * ((:=) l1 v1) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22, (:=) l23 v23) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23, KnownSymbol l24) => Labels * ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22, (:=) l23 v23, (:=) l24 v24) # | |
| Eq value => Eq ((:=) label value) # | |
| Ord value => Ord ((:=) label value) # | |
| Show t => Show ((:=) l t) # | |
| type Consed label value ((:=) label' value') # | |
class Has label value record | label record -> value where #
A record has a certain field which can be set and get.
Methods
get :: Proxy label -> record -> value #
Get a field by doing: get #salary employee
set :: Proxy label -> value -> record -> record #
Set a field by doing: set #salary 54.00 employee
Instances
| Has l a (u1, (:=) l a) # | |
| Has l a ((:=) l a, u2) # | |
| Has l a ((:=) l a) # | |
| Has l a (u1, u2, (:=) l a) # | |
| Has l a (u1, (:=) l a, u3) # | |
| Has l a ((:=) l a, u2, u3) # | |
| Has l a (u1, u2, u3, (:=) l a) # | |
| Has l a (u1, u2, (:=) l a, u4) # | |
| Has l a (u1, (:=) l a, u3, u4) # | |
| Has l a ((:=) l a, u2, u3, u4) # | |
| Has l a (u1, u2, u3, u4, (:=) l a) # | |
| Has l a (u1, u2, u3, (:=) l a, u5) # | |
| Has l a (u1, u2, (:=) l a, u4, u5) # | |
| Has l a (u1, (:=) l a, u3, u4, u5) # | |
| Has l a ((:=) l a, u2, u3, u4, u5) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, (:=) l a, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, (:=) l a, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, (:=) l a, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, (:=) l a) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, (:=) l a, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, (:=) l a, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, (:=) l a, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, (:=) l a, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, (:=) l a, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, (:=) l a, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, (:=) l a, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, (:=) l a, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, (:=) l a, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, (:=) l a, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, (:=) l a, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, (:=) l a, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, (:=) l a, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, u9, (:=) l a, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, u8, (:=) l a, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, u7, (:=) l a, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, u6, (:=) l a, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, u5, (:=) l a, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, u4, (:=) l a, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, u3, (:=) l a, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, u2, (:=) l a, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a (u1, (:=) l a, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
| Has l a ((:=) l a, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
class Cons label value record where #
A field can be consed onto the beginning of a record.
Minimal complete definition
Methods
cons :: (label := value) -> record -> Consed label value record #
Cons a field onto a record by doing: cons (#foo := 123) record
Instances
| Cons label value () # | |
| Cons label value ((:=) label' value') # | |
| Cons label value (u1, u2) # | |
| Cons label value (u1, u2, u3) # | |
| Cons label value (u1, u2, u3, u4) # | |
| Cons label value (u1, u2, u3, u4, u5) # | |
| Cons label value (u1, u2, u3, u4, u5, u6) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23) # | |
| Cons label value (u1, u2, u3, u4, u5, u6, u7, u8, u9, u10, u11, u12, u13, u14, u15, u16, u17, u18, u19, u20, u21, u22, u23, u24) # | |
A record can be narrowed or have its order changed by projecting into record type.
Minimal complete definition
Methods
Instances
| (KnownSymbol l1, KnownSymbol l2, Has l1 t1 r, Has l2 t2 r) => Project r ((:=) l1 t1, (:=) l2 t2) # | |
| (KnownSymbol l1, Has l1 t1 r) => Project r ((:=) l1 t1) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20, (:=) l21 t21) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20, (:=) l21 t21, (:=) l22 t22) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r, Has l23 t23 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20, (:=) l21 t21, (:=) l22 t22, (:=) l23 t23) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23, KnownSymbol l24, Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r, Has l23 t23 r, Has l24 t24 r) => Project r ((:=) l1 t1, (:=) l2 t2, (:=) l3 t3, (:=) l4 t4, (:=) l5 t5, (:=) l6 t6, (:=) l7 t7, (:=) l8 t8, (:=) l9 t9, (:=) l10 t10, (:=) l11 t11, (:=) l12 t12, (:=) l13 t13, (:=) l14 t14, (:=) l15 t15, (:=) l16 t16, (:=) l17 t17, (:=) l18 t18, (:=) l19 t19, (:=) l20 t20, (:=) l21 t21, (:=) l22 t22, (:=) l23 t23, (:=) l24 t24) # | |
Instances
| (Has l1 t1 r, Has l2 t2 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2) r # | |
| Has l1 t1 r => Subset * * ((:=) l1 t'1) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20, (:=) l21 t'21) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20, (:=) l21 t'21, (:=) l22 t'22) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r, Has l23 t23 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20, (:=) l21 t'21, (:=) l22 t'22, (:=) l23 t'23) r # | |
| (Has l1 t1 r, Has l2 t2 r, Has l3 t3 r, Has l4 t4 r, Has l5 t5 r, Has l6 t6 r, Has l7 t7 r, Has l8 t8 r, Has l9 t9 r, Has l10 t10 r, Has l11 t11 r, Has l12 t12 r, Has l13 t13 r, Has l14 t14 r, Has l15 t15 r, Has l16 t16 r, Has l17 t17 r, Has l18 t18 r, Has l19 t19 r, Has l20 t20 r, Has l21 t21 r, Has l22 t22 r, Has l23 t23 r, Has l24 t24 r) => Subset * * ((:=) l1 t'1, (:=) l2 t'2, (:=) l3 t'3, (:=) l4 t'4, (:=) l5 t'5, (:=) l6 t'6, (:=) l7 t'7, (:=) l8 t'8, (:=) l9 t'9, (:=) l10 t'10, (:=) l11 t'11, (:=) l12 t'12, (:=) l13 t'13, (:=) l14 t'14, (:=) l15 t'15, (:=) l16 t'16, (:=) l17 t'17, (:=) l18 t'18, (:=) l19 t'19, (:=) l20 t'20, (:=) l21 t'21, (:=) l22 t'22, (:=) l23 t'23, (:=) l24 t'24) r # | |
Reflection on labelled fields.
Minimal complete definition
Instances
| (KnownSymbol l1, KnownSymbol l2, c v1, c v2) => Reflect c ((:=) l1 v1, (:=) l2 v2) # | |
| (KnownSymbol l1, c v1) => Reflect c ((:=) l1 v1) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, c v1, c v2, c v3) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, c v1, c v2, c v3, c v4) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, c v1, c v2, c v3, c v4, c v5) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, c v1, c v2, c v3, c v4, c v5, c v6) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, c v1, c v2, c v3, c v4, c v5, c v6, c v7) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20, c v21) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20, c v21, c v22) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20, c v21, c v22, c v23) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22, (:=) l23 v23) # | |
| (KnownSymbol l1, KnownSymbol l2, KnownSymbol l3, KnownSymbol l4, KnownSymbol l5, KnownSymbol l6, KnownSymbol l7, KnownSymbol l8, KnownSymbol l9, KnownSymbol l10, KnownSymbol l11, KnownSymbol l12, KnownSymbol l13, KnownSymbol l14, KnownSymbol l15, KnownSymbol l16, KnownSymbol l17, KnownSymbol l18, KnownSymbol l19, KnownSymbol l20, KnownSymbol l21, KnownSymbol l22, KnownSymbol l23, KnownSymbol l24, c v1, c v2, c v3, c v4, c v5, c v6, c v7, c v8, c v9, c v10, c v11, c v12, c v13, c v14, c v15, c v16, c v17, c v18, c v19, c v20, c v21, c v22, c v23, c v24) => Reflect c ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22, (:=) l23 v23, (:=) l24 v24) # | |
Get the labels of a record.
Minimal complete definition
Methods
Instances