Def W_type.to_nat

Modification history