sig
  module Register :
    sig
      val self : State.t
      val get_last_result :
        unit ->
        ((Cil_types.kernel_function option * Cil_types.kinstr *
          Cil_types.lval)
         list * Cil_types.varinfo)
        option
      val get :
        Cil_types.varinfo ->
        (Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
        list
      val print_all : unit -> unit
    end
end