diff --git a/lib/structures/dict.types.js b/lib/structures/dict.types.js index 5aec705..6e3302c 100644 --- a/lib/structures/dict.types.js +++ b/lib/structures/dict.types.js @@ -13,7 +13,7 @@ const mkType = makeTypeParser({ }); export const ModuleDict = [ - ["emptyDict", newDynamic(emptyDict)(mkType("(a -> a -> Int) -> (a => b) "))], + ["emptyDict", newDynamic(emptyDict)(mkType("(a -> a -> Ordering) -> (a => b) "))], ["has" , newDynamic(has )(mkType("(a => b) -> a -> Bool "))], ["set" , newDynamic(set )(mkType("(a => b) -> a -> b -> (a => b) "))], ["remove" , newDynamic(remove )(mkType("(a => b) -> a -> (a => b) "))], diff --git a/lib/structures/set.types.js b/lib/structures/set.types.js index 00c3483..95edc28 100644 --- a/lib/structures/set.types.js +++ b/lib/structures/set.types.js @@ -13,7 +13,7 @@ const mkType = makeTypeParser({ }); export const ModuleSet = [ - ["emptySet", newDynamic(emptySet)(mkType("(a -> a -> Int) -> {a}" ))], + ["emptySet", newDynamic(emptySet)(mkType("(a -> a -> Ordering) -> {a}" ))], ["has" , newDynamic(has )(mkType("{a} -> a -> Bool" ))], ["add" , newDynamic(add )(mkType("{a} -> a -> {a}" ))], ["remove" , newDynamic(remove )(mkType("{a} -> a -> {a}" ))],