/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
extern bool cprim_closeEnoughDeep (cprim, cprim) /*@*/ ;
extern /*@only@*/ cstring cprim_unparse (cprim) /*@*/ ;
extern cprim cprim_fromInt (int p_i);
-
extern bool cprim_isInt(cprim p_c);
+extern int cprim_getExpectedBits (cprim p_c) /*@*/ ;
# else
# error "Multiple include"