links

The Links Programming Language
IN THIS PACKAGE
Module Links_lens . Phrase . Option
type elt = 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 -> Value.t list list -> t

Construct an in expression phrase option

val eval : t -> ( string -> Value.t ) -> 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 -> Value.t option ) -> t

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