diff options
Diffstat (limited to 'src/lem_interp/interp_utilities.lem')
| -rw-r--r-- | src/lem_interp/interp_utilities.lem | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/lem_interp/interp_utilities.lem b/src/lem_interp/interp_utilities.lem index 7aa211e7..1bfa698b 100644 --- a/src/lem_interp/interp_utilities.lem +++ b/src/lem_interp/interp_utilities.lem @@ -95,5 +95,11 @@ let rec get_first_index_range (BF_aux i _) = match i with | BF_single i -> i | BF_range i j -> i | BF_concat s _ -> get_first_index_range s +end + +let rec get_index_range_size (BF_aux i _) = match i with + | BF_single _ -> 1 + | BF_range i j -> (abs (i-j)) + 1 + | BF_concat i j -> (get_index_range_size i) + (get_index_range_size j) end |