☰
ilookup
🌌CTrie.ilookup
§ ilookup(i INode CTrie.CTK CTrie.CTV, k CTK, lev u32, parent option (INode CTrie.CTK CTrie.CTV), gen i32) => choice RESTART (CTrie CTrie.CTK CTrie.CTV.NOTFOUND) CTrie.CTV:Any
§ ilookup(i INode CTrie.CTK CTrie.CTV, k CTK, lev u32, parent option (INode CTrie.CTK CTrie.CTV), gen i32)
=>
choice RESTART (CTrie CTrie.CTK CTrie.CTV.NOTFOUND) CTrie.CTV:
Any