val single: 'a -> 'a list; val suffix: string -> string -> string; val unsuffix: string -> string -> string;
val single: 'a -> 'a list;
val suffix: string -> string -> string;
val unsuffix: string -> string -> string;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle