Module ClangFrontend.CViewControllerLifecycle

val process : IR.Cfg.t -> IR.Tenv.t -> unit