Code Editor : concept_check.h