Source

ocaml / bytecomp / dectree.mli

(* Transformation of N-way integer branches *)

open Lambda

(* Input: a list of (key, action) pairs, where keys are integers. *)
(* Output: a table of (low, high, offset) triples for Ptranslate
           a list of actions for Lswitch *)

val make_decision_tree:
  (int * lambda) list -> (int * int * int) array * (int * lambda) list * int