prime : string -> string
STRUCTURE
Lib
SYNOPSIS
Attach a prime mark to a string.
DESCRIPTION
A call
prime s
is equal to
s ^ "'"
.
FAILURE
Never fails.
SEEALSO
variant
HOL
Trindemossen-1