Commits

Benoit Montagu committed bb09755

rename {b}?equal -> {b}?eq

Comments (0)

Files changed (2)

         (** bound variables *)
   type bound
         (** equality test *)
-  val equal: free -> free -> bool 
+  val eq: free -> free -> bool 
       (** creation of a free variable from a base name *)
   val make: string -> free
       (** for pretty printing purposes only, gets the base name *)
   val bzero: bound
   val bone: bound
   val bsucc: bound -> bound
-  val bequal: bound -> bound -> bool
+  val beq: bound -> bound -> bool
   val bmax: bound -> bound -> bound
   val bto_string: bound -> string
 end
 module Make (Default: sig val fbase: string val bbase: string end) : S = struct
   type free = string * int
   type bound = int
-  let equal (x,n) (y,m) = MyString.equal x y && MyInt.equal n m
+  let eq (x,n) (y,m) = MyString.equal x y && MyInt.equal n m
   let make s = (s,0)
   let to_string (s,n) = if n = 0 then s else (s ^ (string_of_int n))
   module H = Hashtbl.Make(MyString)
   let bzero = 0
   let bone = 1
   let bsucc = (+) 1
-  let bequal: int -> int -> bool = (=)
+  let beq: int -> int -> bool = (=)
   let bmax: int -> int -> int = max
   let bto_string n = Default.bbase ^ (string_of_int n)
 end
         (** bound variables *)
   type bound
         (** equality test *)
-  val equal: free -> free -> bool 
+  val eq: free -> free -> bool 
       (** creation of a free variable from a base name *)
   val make: string -> free
       (** for pretty printing purposes only, gets the base name *)
   val bzero: bound
   val bone: bound
   val bsucc: bound -> bound
-  val bequal: bound -> bound -> bool
+  val beq: bound -> bound -> bool
   val bmax: bound -> bound -> bound
   val bto_string: bound -> string
 end