Basic module

ConvertFromApollo

procedureSource

Divides t by divisor femtoseconds. The building block of the to_seconds family.

ConvertFromApollo :: (
    t: Apollo_Time,
    divisor: u64,
    $DO_ROUNDING: bool
) -> (result: s64, success: bool)

Parameters

divisor: u64
$DO_ROUNDING: bool

Returns

result: s64
success: bool

See also