connections-0.0.2.1: Partial orders & Galois connections.

Index - S

secondData.Connection
second'Data.Connection
semiconnexData.Prd.Property
shiftData.Connection.Float, Data.Float
sigMaskData.Float
signData.Prd
signBitData.Float
signed32Data.Connection.Float, Data.Float
splitData.Float
strongData.Connection
strong'Data.Connection
symmetricData.Prd.Property