Module Gvars.VARS.PrVar

module PrVar: sig .. end

include LUVar.S

val do_on_lower : ?nothing:(unit -> unit) ->
       ?exact:(unit -> unit) ->
       ?inexact:(unit -> unit) -> ?nv:(NoValue.nv -> unit) -> t -> unit

val do_on_upper : ?nothing:(unit -> unit) ->
       ?exact:(unit -> unit) ->
       ?inexact:(unit -> unit) -> ?nv:(NoValue.nv -> unit) -> t -> unit