module Stdlib.Data.String;
  builtin string axiom String : Type;
end;