Paste: record type constructor

Author: kssreeram
Mode: factor
Date: Fri, 25 Jun 2010 17:10:07
Plain Text |
[T, ...A | Record?(T) and (Tuple[...RecordFieldTypes(T)] == Tuple[...A])]
inlined T(...args:A) returned:T {
    ...recordFields(returned) <-- ...args;
}

New Annotation

Summary:
Author:
Mode:
Body: