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