ORD_KEY
signature ORD_KEY
type ord_key val compare : (ord_key * ord_key) -> order
type ord_key
compare (ok, ok2)
Last Modified May 29, 1996 Copyright © 1996 AT&T Research