BddDefinition

fun BddDefinition(mot: BddMot)