# Type declarations
type pawlet_device, domain;
type pawlet_device_exec, exec_type, file_type, system_file_type;

# Inherit from core domain
typeattribute pawlet_device coredomain;

# Property access
get_prop(pawlet_device, oxmc_prop)
set_prop(pawlet_device, oxmc_prop)

# Framework interactions
allow pawlet_device framework_res:file { read getattr };
allow pawlet_device system_server:service_manager find;