sig
  module Register :
    sig
      val compute_pragmas : unit -> Cil_types.stmt list
      val from_stmt : Cil_types.stmt -> Cil_types.stmt list
      val from_nodes :
        Cil_types.kernel_function ->
        PdgTypes.Node.t list -> PdgTypes.NodeSet.t
    end
end