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