Inductive ResourceT := Resource {
  rFile    : FileNameT;
  rHash    : HashT;
  rRole    : ResourceRoleT;
  rCaption : CaptionT;
  rSize    : nat
}.
