erase_jane_syntax.ml
1 2 3 4 5 let should_erase_ref = ref false let set_should_erase yn = should_erase_ref := yn let should_erase () = !should_erase_ref
1 2 3 4 5
let should_erase_ref = ref false let set_should_erase yn = should_erase_ref := yn let should_erase () = !should_erase_ref