_interface_ MkId 1
_exports_
-MkId mkDataConId mkPrimitiveId ;
+MkId mkDataConIds ;
_declarations_
-1 mkDataConId _:_ DataCon.DataCon -> Var.Id ;;
-1 mkPrimitiveId _:_ PrimOp.PrimOp -> Var.Id ;;
+1 mkDataConIds _:_ Name.Name -> Name.Name -> DataCon.DataCon -> DataCon.DataConIds ;;