Frama-C:
Plug-ins:
Libraries:

Frama-C API - 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