mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
32 lines
1.0 KiB
Mathematica
32 lines
1.0 KiB
Mathematica
%---------------------------------------------------------------------------%
|
|
% vim: ft=mercury ts=4 sw=4 et
|
|
%---------------------------------------------------------------------------%
|
|
% Copyright (C) 1994-2006 The University of Melbourne.
|
|
% Copyright (C) 2014-2015, 2018, 2022 The Mercury team.
|
|
% This file is distributed under the terms specified in COPYING.LIB.
|
|
%---------------------------------------------------------------------------%
|
|
%
|
|
% File: unit.m.
|
|
% Main author: fjh.
|
|
% Stability: high.
|
|
%
|
|
% The "unit" type - stores no information at all.
|
|
%
|
|
%---------------------------------------------------------------------------%
|
|
%---------------------------------------------------------------------------%
|
|
|
|
:- module unit.
|
|
:- interface.
|
|
|
|
%---------------------------------------------------------------------------%
|
|
|
|
:- type unit
|
|
---> unit.
|
|
|
|
:- type unit(T)
|
|
---> unit1.
|
|
|
|
%---------------------------------------------------------------------------%
|
|
:- end_module unit.
|
|
%---------------------------------------------------------------------------%
|