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