struct     type t = s let length = length let compare_substring = compare_substring   end