package lutin

  1. Overview
  2. Docs
package lutin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct