package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type elt = Phrase.t

type t = elt option

val combine_and : t -> t -> t

Combine two option phrases with a logical and

val combine_or : t -> t -> t

Combine two option phrases with a logical or

val in_expr : string list -> Phrase.Value.t list list -> t

Construct an in expression phrase option

val eval : t -> (string -> Phrase.Value.t) -> Phrase.Value.t

Calculate the vale of an expression given a lookup function for variables. Defaults to true if the phrase is None.

val get_vars : t -> Alias.Set.t

Get a list of variables in the expression.

val partial_eval : t -> lookup:(string -> Phrase.Value.t option) -> t

Tries to execute and simplify as much of the equation as possible using the given variables.