1(* ========================================================================= *) 2(* FILLING IN "BOOLIFY" ENTRIES IN THE TYPEBASE FOR TYPES BUILT BEFORE LISTS *) 3(* Created by Joe Hurd and Konrad Slind, July 2002 *) 4(* ========================================================================= *) 5 6signature PreListEncode = sig end 7