pub fn write_type<W: Write>( module: &ModuleDef, out: &mut W, ty: &AlgebraicTypeUse, ref_prefix: Option<&str>, ) -> Result