IECCheckerCore.Common
exception InternalError of string
val ignore : 'a -> unit
val next_id : unit -> int
val sublist : 'a list -> Core__Int.t -> Core__Int.t -> 'a list
val list_flatten : 'a list list -> 'a list
val head_exn : 'a list -> 'a
val append_tr : 'a list -> 'a list -> 'a list
Tail-recursive append to process large lists.
val (>>|) : 'a option -> ('a -> 'b) -> 'b option
val (>>=) : 'a option -> ('a -> 'b option) -> 'b option
val unwrap_list : 'a list option -> 'a list
val return : int -> int option
val return_binary : ('a -> 'b -> int) -> 'a -> 'b -> int option
val upgrade_binary : ('a -> 'b -> 'c option) -> 'a option -> 'b option -> 'c option
val sum_maybe_list : int option list -> int option