Topological sort: Difference between revisions
m
→{{header|ATS}}
m (→{{header|ATS}}) |
m (→{{header|ATS}}) |
||
Line 751:
typedef nodenames (n : int) = list (String1, n)
(* A more efficient representation for nodes: integers in 0..n-1. *)
typedef nodenum (n : int) = [num : nat | num <= n - 1] size_t num
|