Module tfsi::require

Traits

FitRequirement	Defines a way to fit some R: Require.
Require	A Require denotes the types of the required values.