Syntax (cir_logic.Cir

include module type of struct include Cobol_common.Srcloc.INFIX end

val (&@) : 'a -> Cobol_common.Srcloc.srcloc -> 'a Cobol_common.Srcloc.with_loc

val (&@<-) : 
  'a ->
  'b Cobol_common.Srcloc.with_loc ->
  'a Cobol_common.Srcloc.with_loc

val (~&) : 'a Cobol_common.Srcloc.with_loc -> 'a

val (~&?) : 'a Cobol_common.Srcloc.with_loc option -> 'a option

val (~@) : 'a Cobol_common.Srcloc.with_loc -> Cobol_common.Srcloc.srcloc

val (~@?) : 
  'a Cobol_common.Srcloc.with_loc option ->
  Cobol_common.Srcloc.srcloc option

val (~&@) : 'a Cobol_common.Srcloc.with_loc -> 'a * Cobol_common.Srcloc.srcloc

val (let*) : 
  ('a, 'b) Stdlib.result ->
  ('a -> ('c, 'b) Stdlib.result) ->
  ('c, 'b) Stdlib.result

val (and*) : 
  ('a, 'b Cir_logic.Types.NEL.t) Stdlib.result ->
  ('c, 'b Cir_logic.Types.NEL.t) Stdlib.result ->
  ('a * 'c, 'b Cir_logic.Types.NEL.t) Stdlib.result

module INFIX : sig ... end