module Stdlib.Data.String.Ord;

import Stdlib.Data.Fixity open;

import Stdlib.Data.String.Base open;
import Stdlib.Data.Bool open;

syntax operator == comparison;
--- Equality for ;String;s.
builtin string-eq
axiom == : String → String → Bool;