essential_constraint_vm

Function mut_keys_set

source 
pub fn mut_keys_set(
    solution: &Solution,
    predicate_index: SolutionDataIndex,
) -> HashSet<&[Word]>
Expand description

Get the contract of mutable keys for this predicate.