module Stdlib.Data.String.Ord;

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

infix 4 ==;
--- Equality for ;String;s.
builtin string-eq
axiom == : String → String → Bool;