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
This module implements a checker for verifying that all of the struct’s fields satisfy the abilities required by the struct’s abilities