Rename [OSTRUCTURE] to [DSTRUCTURE].

This commit is contained in:
François Pottier 2022-12-26 22:48:13 +01:00
parent e6836149ca
commit 9aedc2d4b5
4 changed files with 5 additions and 5 deletions

View File

@ -12,7 +12,7 @@
open Signatures
module Make
(S : OSTRUCTURE)
(S : DSTRUCTURE)
(U : MUNIFIER with type 'a structure := 'a S.structure)
(O : OUTPUT with type 'a structure := 'a S.structure)
= struct

View File

@ -29,7 +29,7 @@ open Signatures
a vertex that has no structure; it is up to the user-supplied function
[O.structure] to determine how such a vertex must be printed. *)
module Make
(S : sig (** @inline *) include OSTRUCTURE end)
(S : sig (** @inline *) include DSTRUCTURE end)
(U : sig (** @inline *) include MUNIFIER
with type 'a structure := 'a S.structure end)
(O : sig (** @inline *) include OUTPUT

View File

@ -31,7 +31,7 @@ module Make
module Data : sig
(** @inline *)
include OSTRUCTURE
include DSTRUCTURE
(**The type ['a structure] is richer (carries more information) than the
type ['a S.structure]. The function [project] witnesses this fact. It

View File

@ -159,9 +159,9 @@ module type OCSTRUCTURE = sig
include IDENTIFIABLE with type 'a structure := 'a structure
end
(* [OSTRUCTURE] describes an input of [Decoder.Make]. *)
(* [DSTRUCTURE] describes an input of [Decoder.Make]. *)
module type OSTRUCTURE = sig
module type DSTRUCTURE = sig
(** @inline *)
include STRUCTURE