interface Clauses
Group |
class Group : GroupClauseVerifier<State, Commands, Issued<Terms>> |
Issue |
class Issue : AbstractIssue<State, Commands, Terms> |
Move |
class Move : ConcreteClause<State, Commands, Issued<Terms>> |
Redeem |
class Redeem : ConcreteClause<State, Commands, Issued<Terms>> |