WellDefinednessCheck

constructor()(source)