TPPropSynParam (reference) in projects: dports

Searched refs:TPPropSynParam (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A D	Type.hs	`55 \| TPPropSynParam Name constructor 77 propSynParam = TPPropSynParam 93 TPPropSynParam x -> Just x 1055 TPPropSynParam n -> declNm n`
H A D	Monad.hs	`493 TPPropSynParam _ -> starOrHashOrProp`