package frama-c

  1. Overview
  2. Docs

Module Current_loc.Operators

type operation =
  1. | UpdatedCurrentLoc

UpdatedCurrentLoc is a simple constructor which can be used as documentation : let<> UpdatedCurrentLoc = loc in ... or replaced with _

val (let<>) : data -> (operation -> 'a) -> 'a

let<> UpdatedCurrentLoc = loc in ... can be used to mimic the behavior obtained with with_loc loc f UpdatedCurrentLoc. let<> syntax requires to open the module Operators.

val (let<?>) : data option -> (operation -> 'a) -> 'a

Same behavior than let<> but for with_loc_opt