/* Tactic: BjSt4_HidPrep*/

\tbegin
\ttactic BjSt4_HidPrep(main,blocks)  \def

  \tprogram (main, \defsbox (\tlaw par_hid_dist() \tsemi \ttactic mapr(\tlaw hid_contract())) )
  
/*  \tsemi \ttactic mapr(\ttactic hid_contract())))*/
  \tsemi \ttactic APPLYL(\tlaw join_proc_hid(pname), join_names(blocks))

\tend

