For Fermion circuits, a list of allowed differences between spin-up and spin-down counts. Effectively, this list constrains the possible values of the total net spin of valid configurations. An empty list, [], means to allow any difference.

member Diff : FSharpList<int> with get