box

Type Members

1. trait Box[L <: Proposition] extends StateElement

   

   Box is a state element.

   Box is a state element. Basically it is some value locked by some condition.

2. trait BoxProof[L <: Proposition] extends Proof

   

3. trait BoxUnlocker[L <: Proposition] extends AnyRef

   

4. trait ErgakiBox[SL <: SigmaProposition] extends SigmaBox[SL]

   

5. case class HeightOpenProposition(height: Int) extends Proposition with Product with Serializable

   

6. sealed trait Proposition extends AnyRef

   

7. trait SigmaBox[SL <: SigmaProposition] extends Box[SL]

   

8. trait SigmaProof[SL <: SigmaProposition] extends BoxProof[SL]

   

9. sealed trait SigmaProposition extends Proposition