Module Mavryk_webassembly_interpreter.Source

type pos = {
  1. file : string;
  2. line : int;
  3. column : int;
}
val pp_pos : Ppx_deriving_runtime.Format.formatter -> pos -> Ppx_deriving_runtime.unit
val show_pos : pos -> Ppx_deriving_runtime.string
type region = {
  1. left : pos;
  2. right : pos;
}
val pp_region : Ppx_deriving_runtime.Format.formatter -> region -> Ppx_deriving_runtime.unit
val show_region : region -> Ppx_deriving_runtime.string
type 'a phrase = {
  1. at : region;
  2. it : 'a;
}
val pp_phrase : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'a phrase -> Ppx_deriving_runtime.unit
val show_phrase : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> 'a phrase -> Ppx_deriving_runtime.string
val no_pos : pos
val no_region : region
val string_of_pos : pos -> string
val string_of_region : region -> string
val (@@) : 'a -> region -> 'a phrase
val at : region -> 'a -> 'a phrase