package links

  1. Overview
  2. Docs
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 unexpected_ir_error : IrValue.t -> ('a, 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