1(*
2 * Copyright (c) 1997-1999, 2003 Massachusetts Institute of Technology
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
17 *
18 *)
19
20(* $Id: util.mli,v 1.12 2003/03/16 23:43:46 stevenj Exp $ *)
21val invmod : int -> int -> int
22val gcd : int -> int -> int
23val lowest_terms : int -> int -> int * int
24val find_generator : int -> int
25val pow_mod : int -> int -> int -> int
26val forall :
27  ('a -> 'b list -> 'b list) -> int -> int -> (int -> 'a) -> 'b list
28val sum_list : int list -> int
29val max_list : int list -> int
30val min_list : int list -> int
31val count : ('a -> bool) -> 'a list -> int
32val filter : ('a -> bool) -> 'a list -> 'a list
33val remove : 'a -> 'a list -> 'a list
34val cons : 'a -> 'a list -> 'a list
35val null : 'a list -> bool
36val (@@) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
37val forall_flat : int -> int -> (int -> 'a list) -> 'a list
38val identity : 'a -> 'a
39val for_list : 'a list -> ('a -> 'b) -> unit
40val minimize : ('a -> 'b) -> 'a list -> 'a option
41val find_elem : ('a -> bool) -> 'a list -> 'a option
42val suchthat : int -> (int -> bool) -> int
43val info : string -> unit
44