From 4fb59ebcdb68173c81b9fa8999deee78c935ab7f Mon Sep 17 00:00:00 2001 From: Justin Lin Date: Fri, 15 Apr 2022 09:42:07 +0800 Subject: [PATCH] rollback --- src/util/has.scad | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/util/has.scad b/src/util/has.scad index 66466c13..c0326fda 100644 --- a/src/util/has.scad +++ b/src/util/has.scad @@ -8,4 +8,8 @@ * **/ -function has(lt, elem) = search([elem], lt) != [[]]; \ No newline at end of file +use ; + +function has(lt, elem, sorted = false) = + sorted ? bsearch(lt, elem) != -1 : + search([elem], lt) != [[]]; \ No newline at end of file