[nindanaoto]

This may be enough, right? https://tfhe.github.io/tfhe/gate-bootstrapping-api.html

[imglorp]

So it looks like you can have:

    CONSTANT NOT COPY NAND OR AND XOR XNOR NOR ANDNY ANDYN ORNY ORYN MUX

... so pure, combinational logic operators. You can build up some serious functions with these, yes.