From 37e3b6208604367ff27f9d556211d60499ccdbdb Mon Sep 17 00:00:00 2001
From: Nikhil <nikhilparasaram@gmail.com>
Date: Wed, 7 Aug 2019 21:52:36 -0700
Subject: [PATCH] Add documentation

---
 mythril/laser/smt/bitvec_helper.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/mythril/laser/smt/bitvec_helper.py b/mythril/laser/smt/bitvec_helper.py
index deaddb21..b80b4bda 100644
--- a/mythril/laser/smt/bitvec_helper.py
+++ b/mythril/laser/smt/bitvec_helper.py
@@ -195,6 +195,13 @@ def Concat(*args: Union[BitVec, List[BitVec]]) -> BitVec:
 
 
 def extract_helper(high: int, low: int, bv: BitVec) -> BitVec:
+    """
+    Extracts from the list of bitvecs which were supposedly concatenated.
+    :param high:
+    :param low:
+    :param bv:
+    :return:
+    """
     count = 0
     val = None
     for small_bv in bv.concat_args[::-1]: