Parameter ForCustomMaps.V

val get : G.variable -> P.property
val set : G.variable -> P.property -> unit