prime

Lib.prime : string -> string

Attach a prime mark to a string.

A call prime s is equal to s ^ "'".

Failure

Never fails.

See also

Term.variant