Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT].
This commit is contained in:
parent
a431a97a4b
commit
6fe129a761
|
@ -11,7 +11,7 @@
|
|||
|
||||
open Signatures
|
||||
|
||||
module Make (S : STRUCTURE_OPT) = struct
|
||||
module Make (S : GSTRUCTURE_OPT) = struct
|
||||
|
||||
(* -------------------------------------------------------------------------- *)
|
||||
|
||||
|
|
|
@ -22,7 +22,7 @@ open Signatures
|
|||
operations that allow constructing, inspecting, and instantiating
|
||||
schemes. *)
|
||||
module Make
|
||||
(S : sig (** @inline *) include STRUCTURE_OPT end)
|
||||
(S : sig (** @inline *) include GSTRUCTURE_OPT end)
|
||||
: sig
|
||||
|
||||
(** {2 Unification} *)
|
||||
|
|
|
@ -190,10 +190,10 @@ module type GSTRUCTURE = sig
|
|||
|
||||
end
|
||||
|
||||
(* [STRUCTURE_OPT] describes the output of [Structure.Option] and
|
||||
(* [GSTRUCTURE_OPT] describes the output of [Structure.Option] and
|
||||
an input of [Generalization.Make]. *)
|
||||
|
||||
module type STRUCTURE_OPT = sig
|
||||
module type GSTRUCTURE_OPT = sig
|
||||
|
||||
module S : GSTRUCTURE
|
||||
|
||||
|
|
|
@ -21,6 +21,6 @@ open Signatures
|
|||
module Option (S : sig (** @inline *) include GSTRUCTURE end) : sig
|
||||
|
||||
(** @inline *)
|
||||
include STRUCTURE_OPT with module S = S
|
||||
include GSTRUCTURE_OPT with module S = S
|
||||
|
||||
end
|
||||
|
|
Loading…
Reference in New Issue