Def fintypeToFinBoolAlgOp

Modification history