stage3/narrow_candidate_datatypes.hh
changeset 1080 54445dfc28ec
parent 1054 57c08195c962