pub type WtnsFn = fn(HashMap<String, Vec<BigInt>>) -> Vec<BigInt>;
A function that converts named inputs to a full witness. This should be generated using e.g. rust-witness.