Type Definition OccK
Other items inotter_api_tests
type OccK = OccultationKindGeneral<(OccDisplacement, ZCoord)>;