Srcloc.INFIX
val (&@) : 'a -> srcloc -> 'a with_loc
val (&@<-) : 'a -> 'b with_loc -> 'a with_loc
val (~&) : 'a with_loc -> 'a
val (~&?) : 'a with_loc option -> 'a option
val (~@) : 'a with_loc -> srcloc
val (~@?) : 'a with_loc option -> srcloc option
val (~&@) : 'a with_loc -> 'a * srcloc