category

`ccsds_packets_types`

Type definitions and arbitrary generators for CCSDS packets.

Availability:

logtalk_load(ccsds_packets(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_packets(SecondaryHeaderLength)

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates 

(no local declarations; see entity ancestors if any)

(no local declarations; see entity ancestors if any)

(no local declarations; see entity ancestors if any)

(none)