Home Next released ->
Type: DTEL, Name: PRX_BOOLEAN, Status: IMPLICIT
Open SVG in new tab, Bug reports welcome
G DTEL-PRX_BOOLEAN DTEL-PRX_BOOLEAN DOMA-PRX_BOOLEAN DOMA-PRX_BOOLEAN DTEL-PRX_BOOLEAN->DOMA-PRX_BOOLEAN