package links

  1. Overview
  2. Docs
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 -> ('a, Of_ir_error.t) Result.result
module Primitives : sig ... end
val unexpected_ir_error : IrValue.t -> ('a, Of_ir_error.t) Result.result
OCaml

Innovation. Community. Security.