lib_types