Module Cvalue_specification

module Cvalue_specification: sig .. end

No function exported. Registers Db.Value.verify_assigns_from.