pub fn write_inductive_header(
out: &mut Vec<u8>,
type_name: &str,
constructor: &str,
nargs: u64,
)Expand description
Write the header of an inductive value: T_INDUCTIVE, its type_name, its constructor,
and the argument count. The args themselves follow, each written via WireEncode.