src/data_structures/annotated.ml

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15

type 'a t = { raw : 'a }

let dummy raw = { raw }

let dummies l = List.map (fun raw -> { raw }) l

let dummy_deep raw =
  let raw = dummies raw in
  { raw }

let map f { raw } =
  let raw = f raw in
  { raw }

let iter f { raw } = f raw