[sledge] Refactor: Strengthen signature of Reg with type equations to Exp.Reg

Reviewed By: jvillard Differential Revision: D21720974 fbshipit-source-id: e5470a0c9
5 years ago · 0716b47a78
parent 51c7e26828
commit 0716b47a78
1 changed files with 1 additions and 1 deletions
--- a/sledge/src/reg.mli
+++ b/sledge/src/reg.mli
@ -7,4 +7,4 @@
 (** Variables *)
-include module type of Exp.Reg
+include module type of struct include Exp.Reg end
`@ -7,4 +7,4 @@`

	`(** Variables *)`	`(** Variables *)`

	`include module type of Exp.Reg`	`include module type of struct include Exp.Reg end`