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