Rename [OCSTRUCTURE] to [OSTRUCTURE].
This commit is contained in:
parent
9aedc2d4b5
commit
f59698102e
|
@ -12,7 +12,7 @@
|
|||
open Signatures
|
||||
|
||||
module Make
|
||||
(S : OCSTRUCTURE)
|
||||
(S : OSTRUCTURE)
|
||||
(U : MUNIFIER with type 'a structure = 'a S.structure)
|
||||
= struct
|
||||
|
||||
|
|
|
@ -16,7 +16,7 @@ open Signatures
|
|||
parameterized by the term structure [S] and by the unifier [U]. Read-only
|
||||
access to the unifier's data structure suffices. *)
|
||||
module Make
|
||||
(S : sig (** @inline *) include OCSTRUCTURE end)
|
||||
(S : sig (** @inline *) include OSTRUCTURE end)
|
||||
(U : sig (** @inline *) include MUNIFIER
|
||||
with type 'a structure = 'a S.structure end)
|
||||
: sig (** @inline *) include OCCURS_CHECK
|
||||
|
|
|
@ -145,9 +145,9 @@ module type USTRUCTURE = sig
|
|||
|
||||
end
|
||||
|
||||
(* [OCSTRUCTURE] describes an input of [OccursCheck.Make]. *)
|
||||
(* [OSTRUCTURE] describes an input of [OccursCheck.Make]. *)
|
||||
|
||||
module type OCSTRUCTURE = sig
|
||||
module type OSTRUCTURE = sig
|
||||
|
||||
(** @inline *)
|
||||
include STRUCTURE
|
||||
|
|
Loading…
Reference in New Issue