#

# Authors:  Stephen Smalley <sds@epoch.ncsc.mil> and Timothy Fraser  

#

############################################

#

# Devpts types

#

#

# ptmx_t is the type for /dev/ptmx.

#

type ptmx_t, sysadmfile, device_type, dev_fs;

#

# devpts_t is the type of the devpts file system and 

# the type of the root directory of the file system.

#

type devpts_t, fs_type;