var searchIndex = {};
searchIndex["sema"] = {"doc":"","items":[[3,"Semaphore","sema","",null,null],[3,"SemaphoreGuard","","",null,null],[11,"new","","",0,{"inputs":[{"name":"u32"}],"output":{"name":"semaphore"}}],[11,"wait","","",0,null],[11,"post","","",0,null],[11,"take","","",0,null],[11,"drop","","",0,null],[11,"drop","","",1,null]],"paths":[[3,"Semaphore"],[3,"SemaphoreGuard"]]};
initSearch(searchIndex);