links

The Links Programming Language
IN THIS PACKAGE
module LP = Lens.Phrase
module I = Ir
val internal_error : string -> exn
val raise_internal : string -> 'a

This code is mostly taken and adapted from query/query.ml

module IrValue : sig ... end
module LEnv = Env
module Env : sig ... end
module Of_ir_error : sig ... end
val lookup_val : ('a Value.Env.t * 'b) -> Ir.var -> ( 'c, Of_ir_error.t ) Result.result
module Primitives : sig ... end
val project_record : (string * Lens.Phrase.Value.t) list -> string -> ( Lens.Phrase.Value.t, Of_ir_error.t ) Result.result
val unexpected_ir_error : IrValue.t -> ( 'a, Of_ir_error.t ) Result.result
val unpack_constant_phrase : Lens.Phrase.t -> ( Lens.Phrase.Value.t, Of_ir_error.t ) Result.result
val unpack_constant_of_ir_value : IrValue.t -> ( Lens.Phrase.Value.t, Of_ir_error.t ) Result.result
val lens_sugar_phrase_of_ir : I.value -> Value.t Value.Env.t -> ( Lens.Phrase.t, Of_ir_error.t ) Result.result