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;