IotaTime.Internal.ApplyPeriod

Definitions

interface PeriodTarget : Type -> Type

Parameters: target
Methods:

0 periodTarget : ()

0 periodTarget : PeriodTarget target => ()

Totality: total
Visibility: public export