Index of types

B
belnap [Bnp]	Four truth values : True, False, Neither, Both.
bnp_expr [Bnp]	Classical negation, with ¬`B` = `B`, ¬`N` = `N`.