Fix signature

Author: huynhtrankhanh

compiler/coqCodegen.ts

@@ -100,7 +100,7 @@ export const coqCodegen = ({ environment, procedures }: CoqCPAST): string => {
       const header =
         'Definition ' +
         sanitize(name) +
-        ' arrayType (bools : string -> name) (numbers : string -> Z) : Action (BasicEffects returnType) basicEffectsReturnValue := '
+        ' arrayType (bools : string -> name) (numbers : string -> Z) : Action (BasicEffects (arrayType environment))) basicEffectsReturnValue returnType := '
     })
     .join('')