Inductive LinkT := Link {
  linkRole   : LinkRoleT;
  linkTarget : string
}.
