mirror of
https://github.com/KevinMidboe/linguist.git
synced 2025-10-29 17:50:22 +00:00
52 lines
1.7 KiB
Plaintext
52 lines
1.7 KiB
Plaintext
(***********************************************************************)
|
|
(* *)
|
|
(* Applied Type System *)
|
|
(* *)
|
|
(***********************************************************************)
|
|
|
|
(*
|
|
** ATS/Postiats - Unleashing the Potential of Types!
|
|
** Copyright (C) 2011-2013 Hongwei Xi, ATS Trustful Software, Inc.
|
|
** All rights reserved
|
|
**
|
|
** ATS is free software; you can redistribute it and/or modify it under
|
|
** the terms of the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
|
|
** Free Software Foundation; either version 3, or (at your option) any
|
|
** later version.
|
|
**
|
|
** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
** WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
** FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
** for more details.
|
|
**
|
|
** You should have received a copy of the GNU General Public License
|
|
** along with ATS; see the file COPYING. If not, please write to the
|
|
** Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
|
|
** 02110-1301, USA.
|
|
*)
|
|
|
|
(* ****** ****** *)
|
|
//
|
|
// Author: Hongwei Xi
|
|
// Authoremail: hwxiATcsDOTbuDOTedu
|
|
// Time: October, 2010
|
|
//
|
|
(* ****** ****** *)
|
|
|
|
#define ATS_PACKNAME "ATSLIB.libats.linset_listord"
|
|
#define ATS_STALOADFLAG 0 // no static loading at run-time
|
|
|
|
(* ****** ****** *)
|
|
|
|
#include "./SHARE/linset.hats"
|
|
#include "./SHARE/linset_node.hats"
|
|
|
|
(* ****** ****** *)
|
|
|
|
castfn
|
|
linset2list {a:t0p} (xs: set (INV(a))):<> List0_vt (a)
|
|
|
|
(* ****** ****** *)
|
|
|
|
(* end of [linset_listord.sats] *)
|