)]}'
{
  "id": "f8cdfadf949d7b8be7103d4e06ceb6142553b6e1",
  "repo": "titan/titan.Libraries.CLL",
  "revision": "2edbfd320c239ae16c8c6fdd93715875664146d2",
  "path": "src/RedBlackTree/EPTF_CLL_RBtreeFloat_Functions.ttcn"
}