type printing functions