我知道相当于AWS::Lambda::Function的是aws_lambda_function我正在尝试将以下代码转换为Terraform: Type: Custom::LoadLambda ServiceToken: # This seems to call another lambda - SolutionHelper Region:
我的第一次尝试是: forall (a b: t A(这里“=”是“equiv”)。在'simpl‘之后,目标是使用VectorNotations的"(nil )=(Nil)“或"[]=[]”。通常我会用“反身”战术来完成它,但它给了我:
Tactic failure: The relation equiv is not a declared re