1 (* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
4 * MLton is released under a BSD-style license.
5 * See the file MLton-LICENSE for details.
10 val assert: string * (unit -> bool) -> unit
14 * ('a -> bool * ('b -> bool))
19 * ('a -> bool * ('b -> (bool * ('c -> bool))))
22 val fail: string -> 'a