module stlc.catComb.properities.common where

open import stlc.catComb.eval public
open import stlc.catComb.logicalRelation public
open import stlc.monad.impl public
--open import stlc.monad.properities.common using (ev-bind-state) public

open CatCombValue public