***
***  domainops.maude
*** 
*************************************************************************

fmod DOMAINOPS is 
inc NAT .


sort Domain .

op (_to_)  : Nat Nat -> Domain [ctor] .
op TAD    : -> Domain [ctor] .                    *** transactivation domain
op CatDom : -> Domain [ctor] .                    *** Catalytic domain
op Nterm  : -> Domain [ctor] .                    *** N-terminus
op Cterm  : -> Domain [ctor] .                    *** C-terminus
op SH2    : -> Domain [ctor] .                    
op SH3    : -> Domain [ctor] .                    
op CardDom : -> Domain [ctor] .                   *** Card Domain
op CAAX : -> Domain [ctor] .
op CH2 : -> Domain [ctor] .
op CatDomain : -> Domain [ctor] .
op Cterm-SH3 : -> Domain [ctor] .
op CytDomain : -> Domain [ctor] .
op DBD : -> Domain [ctor] .
op GyrB : -> Domain [ctor] .
op Nterm-SH3 : -> Domain [ctor] .
op Cterm-SH3 : -> Domain [ctor] .
op PH-domain : -> Domain [ctor] .
op PXdomain : -> Domain [ctor] .
op PY-domain : -> Domain [ctor] .
op RBD : -> Domain [ctor] .
op Raichu : -> Domain [ctor] .
op Ring-Finger-Domain : -> Domain [ctor] .
op Tir-Domain : -> Domain [ctor] .
op UBA : -> Domain [ctor] .
op UIM-Domain : -> Domain [ctor] .

op Gal4DBD : -> Domain [ctor] .

endfm
