pub fn tx<T>(
m: &mut Module<'_>,
t: &Trie<u8, T>,
x: &[u8],
f: &mut FunctionBody,
k: Block,
v: Value,
s: &mut impl FnMut(&T, &mut Module<'_>) -> bool,
go: &mut impl FnMut(&T, &mut FunctionBody, &mut Module<'_>, Block) -> Result<()>,
) -> Result<()>