Function flussab_cnf::gcnf::write_header
source · pub fn write_header(writer: &mut DeferredWriter<'_>, header: Header)
Expand description
Writes a GCNF header.
pub fn write_header(writer: &mut DeferredWriter<'_>, header: Header)
Writes a GCNF header.