pub type FnSigMap = HashMap<String, (Vec<Type>, Type, Vec<String>)>;Expand description
Legacy name → (params, return_type, effects) map carrying the fn /
ctor signatures the verify-law helpers query.
Kept as a type alias for callers (mostly tests) that still build the
map literally; production code reaches the verify-law surface
through FnSigOracle now, which FnSigMap also implements. Epic
#180 Phase 7 closed the side-channel storage path — see PRs #193 /
#194 / this PR’s history.
Aliased Type§
pub struct FnSigMap { /* private fields */ }