Searched defs:SBVExpr (Results 1 – 1 of 1) sorted by relevance
581 data SBVExpr = SBVApp !Op ![SV] function606 newtype SBVPgm = SBVPgm {pgmAssignments :: S.Seq (SV, SBVExpr)} function