diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/Config.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml index b09544ba..9cd1ebc2 100644 --- a/compiler/Config.ml +++ b/compiler/Config.ml @@ -92,6 +92,10 @@ let loop_fixed_point_max_num_iters = 2 (** {1 Translation} *) +(** If true, do not define separate forward/backward functions, but make the + forward functions return the backward function. *) +let return_back_funs = ref false + (** Forbids using field projectors for structures. If we don't use field projectors, whenever we symbolically expand a structure |