{ Type = { DeltaTime : Optional (./DeltaTime.dhall).Type }
, default.DeltaTime = None (./DeltaTime.dhall).Type
}