index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
ocaml_rts
/
linksem
/
src_lem_library
/
sum.ml
blob: a9ea35ae28f8733267312d74b7f8d1ae45cbf8e1 (
plain
)
1
2
3
4
type
(
'
a
,
'
b
)
sum
=
|
Inl
of
(
'
a
)
|
Inr
of
(
'
b
)
