Sourceval split : string -> string list Sourceval load_lines : string list -> string -> string list Sourceval (//) : string -> string -> string Sourceval default_dict_path : unit -> string option Sourceval load_dictionary : string option -> string list -> string list