CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

fix(lint): remove redundant function prefixes (E331)

Rename find_insert_pos -> insert_pos, make_header -> header,
make_wire_callback -> wire_callback.

+4 -4
+4 -4
lib/cfdp.ml
··· 840 840 841 841 let truncated ~need ~have = Error (Truncated { need; have }) 842 842 843 - let make_header ~version ~pdu_type_bit ~direction_bit ~mode_bit ~crc_bit 844 - ~large_bit ~seg_ctrl_bit ~seg_meta_bit ~source_entity ~transaction_seq 845 - ~dest_entity ~data_len = 843 + let header ~version ~pdu_type_bit ~direction_bit ~mode_bit ~crc_bit ~large_bit 844 + ~seg_ctrl_bit ~seg_meta_bit ~source_entity ~transaction_seq ~dest_entity 845 + ~data_len = 846 846 { 847 847 version; 848 848 pdu_type = (if pdu_type_bit = 0 then File_directive else File_data); ··· 895 895 | `Overflow -> Error Entity_id_overflow 896 896 in 897 897 let header = 898 - make_header ~version ~pdu_type_bit ~direction_bit ~mode_bit ~crc_bit 898 + header ~version ~pdu_type_bit ~direction_bit ~mode_bit ~crc_bit 899 899 ~large_bit ~seg_ctrl_bit ~seg_meta_bit ~source_entity 900 900 ~transaction_seq ~dest_entity ~data_len 901 901 in