inductive A | b (c :
