base.json.ValidateInput

imm #(input: imm base.Str): mut base.Action[imm base.Str] -> …,
imm #(input: imm base.Str): mut base.Action[imm base.Str] -> …,