_interface_ MkId 1
_exports_
MkId  mkDataConIds ;
_declarations_
1 mkDataConIds _:_ Name.Name -> Name.Name -> DataCon.DataCon -> DataCon.DataConIds ;;