Library zoo.iris.diaframe.base

From zoo Require Import
  prelude.
From zoo.iris Require Export
  proofmode.
From zoo Require Import
  options.