DEFINITION MODULE Domains;

        (********************************************************)
        (*                                                      *)
        (*      Domains: a cut-down version for Major Major     *)
        (*                                                      *)
        (*  Programmer:         P. Moylan                       *)
        (*  Started:            23 October 2025                 *)
        (*  Last edited:        23 October 2025                 *)
        (*  Status:             OK                              *)
        (*                                                      *)
        (********************************************************)


FROM Names IMPORT DomainName;

TYPE Domain;          (* is private *)


PROCEDURE NameToDomain (VAR (*IN*) name: DomainName): Domain;

    (* Translates a domain name to a domain.  *)

PROCEDURE NameOfDomain (D: Domain;  VAR (*OUT*) name: DomainName);

    (* Returns the name of domain D in name. *)

END Domains.

