Module PrevarSource

Internal representation of pre variables.

Sourceval format : string -> string

To pretty print pre var. Leave the string unchanged if it is not a pre var

Sourceval is_pre_var : string -> bool

is_pre_va vn returns iff vn is a pre variable.

Sourceval get_root_var_name : string -> string

get the root name of the variable the pre holds on. e.g, get_var_names "$p1x" returns "x", and "$p2x" returns "x" too.

Sourceval get_pre_var_name : string -> string

get the name of the variable the pre holds on. e.g, get_pre_var_names "$p1x" returns "x", and "$p2x" returns "$p1x"

Sourceval give_pre_var_name : string -> string

give_pre_var_name u returns the string encoding of pre u