RecordClassBuilder

constructor(addSpecification: Boolean = true, addBodies: Boolean = true, useInvariantFree: Boolean = true)(source)