cryptol 3.5.0
“Domain-specific language for specifying cryptographic algorithms”
Source file under srcJS sequence access
SHA-2567341c026ef83b18d2c784cfedb37003f74d1560605cd9c3107b5b6fc31fb2f84
MaleculeO(As)H(Db)
Evidence
193:18… wtypes.
194newtypeDerivable :: (String, [PC])
195newtypeDerivable =
196 ( "newtype"
197 , [PEq, PCmp, PSignedCmp, PZero, PLogic, PRing]
198 )
⋯6 lines
No evidence locations were recorded for this file. Raw result