From 3593e41de1d0ee4753e1e6ee7b4b14ae5ef89bcb Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 9 Feb 2021 04:24:02 -0800 Subject: [PATCH] [sledge] Change confusing order of Multiset args Reviewed By: ngorogiannis Differential Revision: D26250540 fbshipit-source-id: 5fd5da36b --- sledge/nonstdlib/multiset.ml | 8 ++++---- sledge/nonstdlib/multiset.mli | 8 ++++---- sledge/src/fol/arithmetic.ml | 4 ++-- 3 files changed, 10 insertions(+), 10 deletions(-) diff --git a/sledge/nonstdlib/multiset.ml b/sledge/nonstdlib/multiset.ml index 2a5d43ba5..22e40554e 100644 --- a/sledge/nonstdlib/multiset.ml +++ b/sledge/nonstdlib/multiset.ml @@ -10,10 +10,10 @@ open! NS0 include Multiset_intf -module Make - (Mul : MULTIPLICITY) (Elt : sig - type t [@@deriving compare, sexp_of] - end) = +module Make (Elt : sig + type t [@@deriving compare, sexp_of] +end) +(Mul : MULTIPLICITY) = struct module M = Map.Make (Elt) diff --git a/sledge/nonstdlib/multiset.mli b/sledge/nonstdlib/multiset.mli index fa94ca4c9..cca280839 100644 --- a/sledge/nonstdlib/multiset.mli +++ b/sledge/nonstdlib/multiset.mli @@ -9,7 +9,7 @@ include module type of Multiset_intf -module Make - (Mul : MULTIPLICITY) (Elt : sig - type t [@@deriving compare, sexp_of] - end) : S with type mul = Mul.t with type elt = Elt.t +module Make (Elt : sig + type t [@@deriving compare, sexp_of] +end) +(Mul : MULTIPLICITY) : S with type mul = Mul.t with type elt = Elt.t diff --git a/sledge/src/fol/arithmetic.ml b/sledge/src/fol/arithmetic.ml index edd53c7c8..e46203fdb 100644 --- a/sledge/src/fol/arithmetic.ml +++ b/sledge/src/fol/arithmetic.ml @@ -14,7 +14,7 @@ module Representation (Trm : INDETERMINATE with type var := Var.t) = struct module Prod = struct - include Multiset.Make (Int) (Trm) + include Multiset.Make (Trm) (Int) let t_of_sexp = t_of_sexp Trm.t_of_sexp end @@ -78,7 +78,7 @@ struct end module Sum = struct - include Multiset.Make (Q) (Mono) + include Multiset.Make (Mono) (Q) let t_of_sexp = t_of_sexp Mono.t_of_sexp end