summaryrefslogtreecommitdiff
path: root/src/marker.mli
blob: 391916b821e2bca58e7ec752734780027b97e300 (plain)
1
2
3
4
type t
val of_string : string -> t
val pp        : out_channel -> t -> unit