category

# `ccsds_time_codes_types`

Type definitions and arbitrary generators for CCSDS time codes.

Availability:
`logtalk_load(ccsds_time_codes(loader))`
Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-08
Compilation flags:
`static`
Provides:
type::type/1
type::check/2
arbitrary::arbitrary/1
arbitrary::arbitrary/2
Uses:
ccsds_ccs(CalendarVariant,FractionOctets)
ccsds_cds(DaySegmentOctets,SubmillisecondOctets,Epoch)
ccsds_cuc(CoarseOctets,FineOctets,Epoch)
type
Remarks:
(none)
Inherited public predicates:
(none)

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)