Error (cir_logic.Cir

val localize_errors : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  ('a, Types.localized_runtime_error Cir_logic.Types.NEL.t) Stdlib.result ->
  ('a, Types.localized_runtime_error Cir_logic.Types.NEL.t) Stdlib.result

val loc_retriever_for_extended_type : 
  unit ->
  (('a -> Cobol_common.Srcloc.TYPES.srcloc option) ->
  unit)
  * ('a ->
  Cobol_common.Srcloc.TYPES.srcloc option)

val register_runtime_error_loc_retriever : 
  (Types.runtime_error -> Cobol_common.Srcloc.TYPES.srcloc option) ->
  unit

val loc : Types.runtime_error -> Cobol_common.Srcloc.TYPES.srcloc option

val register_loc_retrievers : unit -> unit