The punishments for robbery and murder are prescribed in the penal code.

对凶杀的惩罚在刑法中有明规定。

The name parameter will be MD5-hashed, so the cleartext cannot be derived from the generated UUID.

+ 名字参数将被 MD5 哈希，所以无法从生成的 UUID 中获取明。

It is an express provision.

那是一项明条款。