s_mach.validate
Helper functions for validating collections
A validator for a collection of A
the type validated
Helper functions for validating collections