spacepaste

Paste details

reply | raw

  1.  
  2. match prev_char ch with
  3. | None -> ()
  4. | Some c when c = '\n' -> ()
  5. | Some c ->
  6. rewind ch 1;
  7. rewind_to_beginning_of_line ch
  8.  
Powered by spacepaste. Paste removal.