Module validation 

Structs

Untrusted

Untrusted — newtype marking data as unvalidated. Must pass through a validation predicate to become Validated.

Validated

Validated — newtype guaranteeing data has passed validation. Equivalent to TS branded type T & { _validated: true }. Use .unbrand() to consume. No .value accessor.