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