package mopsa
Module Json.AlarmKindSet
type elt = Core.All.alarm_kindval empty : tval is_empty : t -> boolval cardinal : t -> intval print :
Mopsa_utils__Containers__SetExtSig.set_printer ->
(out_channel -> elt -> unit) ->
out_channel ->
t ->
unitval fprint :
Mopsa_utils__Containers__SetExtSig.set_printer ->
(Format.formatter -> elt -> unit) ->
Format.formatter ->
t ->
unitval to_poly_set : t -> elt Mopsa_utils.Containers.SetExtPoly.t