(VL::VL-PARSE-NORMAL-CLOCKING-DECLARATION-TOP-FN)
(VL::VL-TOKENLIST-P-OF-VL-PARSE-NORMAL-CLOCKING-DECLARATION-TOP.TOKENS
 (1 1 (:REWRITE VL::VL-PARSE-NORMAL-CLOCKING-DECLARATION-FAILS-GRACEFULLY))
 )
(VL::VL-PARSESTATE-P-OF-VL-PARSE-NORMAL-CLOCKING-DECLARATION-TOP.PSTATE
 (1 1 (:REWRITE VL::VL-PARSE-NORMAL-CLOCKING-DECLARATION-FAILS-GRACEFULLY))
 )
(VL::VL-PARSE-GLOBAL-CLOCKING-DECLARATION-TOP-FN)
(VL::VL-TOKENLIST-P-OF-VL-PARSE-GLOBAL-CLOCKING-DECLARATION-TOP.TOKENS
 (1 1 (:REWRITE VL::VL-PARSE-GLOBAL-CLOCKING-DECLARATION-FAILS-GRACEFULLY))
 )
(VL::VL-PARSESTATE-P-OF-VL-PARSE-GLOBAL-CLOCKING-DECLARATION-TOP.PSTATE
 (1 1 (:REWRITE VL::VL-PARSE-GLOBAL-CLOCKING-DECLARATION-FAILS-GRACEFULLY))
 )
(VL::VL-PRETTY-CLKSKEW)
(VL::VL-PRETTY-CLKASSIGN
 (37 5 (:REWRITE VL::VL-CLKASSIGN-P-BY-TAG-WHEN-VL-CLOCKING-BLOCK-ITEM-P))
 (10 10 (:REWRITE VL::VL-CLKASSIGN-P-WHEN-MEMBER-EQUAL-OF-VL-CLKASSIGNLIST-P))
 (4 2 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (4 2 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (4 2 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (4 2 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (4 2 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (4 2 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (4 2 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (4 2 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-IDTOKEN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (2 2 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 )
(VL::VL-PRETTY-CLKASSIGNLIST
 (21 1 (:REWRITE VL::VL-CLKASSIGNLIST-P-WHEN-NOT-CONSP))
 (17 1 (:REWRITE VL::VL-CLKASSIGN-P-BY-TAG-WHEN-VL-CLOCKING-BLOCK-ITEM-P))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-IDTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(VL::VL-PRETTY-CLKDECL
 (119 7 (:REWRITE VL::VL-CLKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (14 14 (:REWRITE VL::VL-CLKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-CLKDECLLIST-P))
 (14 7 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (14 7 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (14 7 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (14 7 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (14 7 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (14 7 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (14 7 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (14 7 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-IDTOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 (5 1 (:DEFINITION LEN))
 (2 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 )
