Page Menu
Home
HEPForge
Search
Configure Global Search
Log In
Files
F9501159
sets.mli
No One
Temporary
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Flag For Later
Size
1009 B
Subscribers
None
sets.mli
View Options
(* sets.mli --
Copyright (C) 2019-2022 by
Wolfgang Kilian <kilian@physik.uni-siegen.de>
Thorsten Ohl <ohl@physik.uni-wuerzburg.de>
Juergen Reuter <juergen.reuter@desy.de>
WHIZARD is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
WHIZARD 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 this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. *)
module
String
:
Set
.
S
with
type
elt
=
string
module
String_Caseless
:
Set
.
S
with
type
elt
=
string
module
Int
:
Set
.
S
with
type
elt
=
int
File Metadata
Details
Attached
Mime Type
text/plain
Expires
Sun, Feb 23, 1:59 PM (2 h, 12 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
4486422
Default Alt Text
sets.mli (1009 B)
Attached To
rWHIZARDSVN whizardsvn
Event Timeline
Log In to Comment