oadt.lang_oadt.base

From oadt Require Export prelude.
From stdpp Require Import gmap.

Export atom_instance.

#[global]
Opaque atom.

#[global]
Opaque amap.

#[global]
Opaque aset.

#[global]
Opaque is_atom.

Declare Custom Entry oadt.
Declare Custom Entry oadt_def.