A flow typed utility that accepts value (e.g. nullthrows(value)) and throws if value is null or undefined, otherwise it returns value.

Also see invariant.