0 | module IotaTime.Internal.ApplyPeriod 1 | 2 | %default total 3 | 4 | public export 5 | interface PeriodTarget (0 target : Type) where 6 | 0 periodTarget : () 7 |