Module Flx_cflow

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