Definition: *rule_bin-val*
(defconst *rule_bin-val* (=_ *bin-val* (/_ "b" (1*_ *bit*) (?_ (/_ (1*_ (!_ (/_ "." (1*_ *bit*))))) (/_ (!_ (/_ "-" (1*_ *bit*))))))))