Cryptol.ModuleSystem.Interface

data Iface

data IfaceDecls

type IfaceTySyn

ifTySynName

type IfaceNewtype

data IfaceDecl

mkIfaceDecl

genIface

ifacePrimMap