Cryptol.ModuleSystem.Interface
data Iface
data IfaceDecls
type IfaceTySyn
ifTySynName
type IfaceNewtype
data IfaceDecl
mkIfaceDecl
genIface
ifacePrimMap