baseComposeProof

KleisliProof0

baseKleisliProof

KleisliProof

bool

General

brackets

cScientific decimal float scientific uCScientific uScientific