Module Cases.General_circuitsSource

Sourceval bnot : case
Sourceval list : case list