let
add_logics_value l =
List
.iter (
fun
lv
->
AnyVar
.replace (
Lv
lv) ()) l