module ExpansionOracle: sig .. end
sig
end
Rewriting oracle to lift up macro-instructions expansion from Asmgen to BTL (RISC-V only)
val expanse : 'a -> 'b -> 'c -> 'd -> 'a
'a -> 'b -> 'c -> 'd -> 'a