Module Syntax.String

Strings.

val v : string -> string value

v s is the literal string s.

val (=) : string value -> string value -> bool value

x = y is binary string equality.