Skip to content

Instantly share code, notes, and snippets.

@PPKFS

PPKFS/gist:c68f032e0e6429a1fc8e

Created February 23, 2015 20:28
Show Gist options
  • Save PPKFS/c68f032e0e6429a1fc8e to your computer and use it in GitHub Desktop.
Save PPKFS/c68f032e0e6429a1fc8e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
type predicate_type =
| PredicateType of string * int * string list;;
module PromiseSet = Set.Make(struct
type t = predicate_type
let compare p1 p2 = match (p1, p2) with (PredicateType(str1, ar1, list1), PredicateType(str2, ar2, list2)) -> (str1 = str2) && (ar1 = ar2) && (list1 = list2));;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment