c_conforms_to() should have lambda parameter for model checking.

Description

c_conforms_to() has a lambda parameter for reference model checking in the ADL WB and Archie implementations, and it should be shown in the spec but is not.

Reporter

Thomas Beale

Raised By

Pieter Bos

Components

Affects versions

Configure