1 2 3 4 5 6
use syn::custom_keyword; custom_keyword!(semidet); custom_keyword!(nondet); custom_keyword!(setup); custom_keyword!(call); custom_keyword!(defaults);