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