Module Cvalue_specification

module Cvalue_specification: sig .. end
No function exported. Registers Db.Value.verify_assigns_from.

Compute the validity status for from in pre_state, assuming the entire clause is assigns asgn \from from. The inferred dependencies are found_froms, while asgn evaluates to assigns_zone.