method
restrict types =
string_of_sv (call_method sv
"restrict"
(
List
.map sv_of_string types))