Cryptol.ModuleSystem.Interface
data Iface
data IfaceDecls
type IfaceTySyn
ifTySynName
type IfaceNewtype
data IfaceDecl
mkIfaceDecl
shadowing
interpImport
unqualified
genIface