module Flx_cflow:sig
..end
val tailable : Flx_types.bexe_t list -> string list -> Flx_types.bexe_t list -> bool
val chain_gotos : Flx_types.bexe_t list -> Flx_types.bexe_t list
val final_tailcall_opt : Flx_types.bexe_t list -> Flx_types.bexe_t list