Expand description

This module implements a checker for verifying that all of the struct’s fields satisfy the abilities required by the struct’s abilities

Functions