pub fn read_inductive_header(
buf: &[u8],
pos: &mut usize,
) -> Option<(String, String, u64)>Expand description
Read an inductive header, returning (type_name, constructor, nargs). The caller dispatches
on constructor and reads nargs arguments via WireDecode.