package plebeia
Parameter WithSimulation.Name
val to_string : t -> stringval pp : Format.formatter -> t -> unitval to_segment : t -> Plebeia.Segment.tval of_segment : Plebeia.Segment.t -> t optionWithSimulation.Nameval to_string : t -> stringval pp : Format.formatter -> t -> unitval to_segment : t -> Plebeia.Segment.tval of_segment : Plebeia.Segment.t -> t option