ksmt-core/io.ksmt/KContext/mkFpRoundingModeDecl

mkFpRoundingModeDecl

fun mkFpRoundingModeDecl(value: KFpRoundingMode): KFpRoundingModeDecl