path: root/backend/Profilingaux.ml

open Camlcoq
open RTL
   
let function_id (f : coq_function) : Z.t =
  Z.of_uint 0;;

let branch_id (f_id : Z.t) (node : P.t) =
  Z.of_uint 0;;