| |||||
| |||||
| |||||
Synopsis | |||||
| |||||
Records | |||||
| |||||
| |||||
checkRecordProjections q tel ftel s vs n fs: m: name of the generated module q: name of the record tel: parameters s: sort of the record ftel: telescope of fields vs: values of previous fields (should have one free variable, which is the record) fs: the fields to be checked | |||||
Produced by Haddock version 2.6.1 |