sig
exception Ignored
exception Typing_error of string
exception Not_yet of string
exception Not_memoized
type 'a or_error = Res of 'a | Err of exn
val untypable : string -> 'a
val not_yet : string -> 'a
val ignored : unit -> 'a
val not_memoized : unit -> 'a
val handle : ('a -> 'a) -> 'a -> 'a
val generic_handle : ('a -> 'b) -> 'b -> 'a -> 'b
val nb_untypable : unit -> int
val nb_not_yet : unit -> int
val print_not_yet : string -> unit
val retrieve_preprocessing :
string -> ('a -> 'b Error.or_error) -> 'a -> 'b
end