Informant_mk_1

val Informant_mk_1: DefinitionId