Module Mlpost__Dash
type t= Mlpost__.Types.dashtype on_off= Mlpost__.Types.on_off
val on : Mlpost__.Types.num -> Mlpost__.Types.on_offval off : Mlpost__.Types.num -> Mlpost__.Types.on_offval evenly : Mlpost__.Types.dashval withdots : Mlpost__.Types.dashval scaled : Mlpost__.Types.num -> Mlpost__.Types.dash -> Mlpost__.Types.dashval shifted : Mlpost__.Types.point -> Mlpost__.Types.dash -> Mlpost__.Types.dashval pattern : Mlpost__.Types.on_off list -> Mlpost__.Types.dash