Remove duplicate elements: Difference between revisions
→ATS2 implementation for linear values having an equality predicate
Line 828:
implement
fprint_ref<Strptr1> (outf, s) =
implement (* A demonstration with linear strings. *)
|