knowing neither of these languages i’d rather it be labeled something more clear as neither one of those screams immutable to me. the immutable variant should use the ‘const’ keyword instead.
also programs aren’t proofs so we certainly shouldn’t name keywords after them