Module smartnoise_validator::utilities::inference[][src]

Infer ValueProperties from a public Value

When public arguments are provided, the properties about those public arguments are not known. These utility functions provide a conversion from Value to ValueProperties.

Functions

infer_categories
infer_lower
infer_nature
infer_nullity
infer_property
infer_upper