The MCCONTROL signature

Synopsis

signature MCCONTROL
structure Control.MC : MCCONTROL


Interface

val printArgs : bool ref
val printRet : bool ref
val bindContainsVar : bool ref
val bindExhaustive : bool ref
val matchNonExhaustiveWarn : bool ref
val matchNonExhaustiveError : bool ref
val matchRedundantWarn : bool ref
val matchRedundantError : bool ref
val expandResult : bool ref


Description

printArgs

printRet

bindContainsVar

bindExhaustive

matchNonExhaustiveWarn

matchNonExhaustiveError

matchRedundantWarn

matchRedundantError

expandResult