summaryrefslogtreecommitdiff
path: root/src/options.mli
blob: 64bee51d75d3f3b78cbfd42873569961f8b9806c (plain)
1
2
3
4
type t
val default : t
val with_height : int -> t -> t
val with_marker : Marker.t -> t -> t