links

The Links Programming Language
IN THIS PACKAGE
Module Links_lens . Phrase . Value . Record
val get : t -> key:string -> t option

Get a record values field key. Returns None if the field is not found.

val get_exn : t -> key:string -> t

Get a record values field key. Throw an exception if the field is not found.

val set : t -> key:string -> value:t -> t

Set a record values field to value.

val match_on : t -> t -> on:string list -> bool

Determine if two records have the same values for the fields specified in on.