explain wp's syntactic restrictions on "inductive" definitions (#123) · Issues · pub / frama-c