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