sig
  exception Top
  module type Sig =
    sig
      val compute : (Cil_types.kernel_function -> unit) Pervasives.ref
      val stmt_postdominators :
        (Cil_types.kernel_function ->
         Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t)
        Pervasives.ref
      val is_postdominator :
        (Cil_types.kernel_function ->
         opening:Cil_types.stmt -> closing:Cil_types.stmt -> bool)
        Pervasives.ref
      val display : (unit -> unit) Pervasives.ref
      val print_dot :
        (string -> Cil_types.kernel_function -> unit) Pervasives.ref
    end
end