mapped-register-construction-lifts.golden

mapped-write-lifts=[["dormantSince","MaybeTime","Time","Conformance.MappedRegisterConstruction.Lift.atTime","λ:\"|\n"],["secondSince","MaybeTime","Time","Conformance.MappedRegisterConstruction.Lift.atTime","λ:\"|\n"]]