links

The Links Programming Language
IN THIS PACKAGE
val lens_phrase_value_of_constant : CommonTypes.Constant.t -> Lens.Phrase.Value.t
val lens_phrase_value_of_value : Value.t -> Lens.Phrase.Value.t
val value_of_lens_phrase_value : Lens.Phrase.Value.t -> Value.t