(****************************************************************************)
(*                           the diy toolsuite                              *)
(*                                                                          *)
    , University College London , UK .                             
    , INRIA Paris - Rocquencourt , France .                          
(*                                                                          *)
  Copyright 2013 - present Institut National de Recherche en Informatique et
(* en Automatique and the authors. All rights reserved.                     *)
(*                                                                          *)
  This software is governed by the CeCILL - B license under French law and   
(* abiding by the rules of distribution of free software. You can use,      *)
  modify and/ or redistribute the software under the terms of the CeCILL - B
  license as circulated by CEA , CNRS and INRIA at the following URL        
  "  " . We also give a copy in LICENSE.txt .            
(****************************************************************************)



type t = Local|After|Both

let tags = ["local";"after";"both";]

let parse tag = match Misc.lowercase tag with
| "local" -> Some Local
| "after" -> Some After
| "both" -> Some Both
| _ ->  None

let pp = function
  | Local -> "local"
  | After -> "after"
  | Both -> "both"

**************************************************************************
                           the diy toolsuite                              
                                                                          
                                                                          
 en Automatique and the authors. All rights reserved.                     
                                                                          
 abiding by the rules of distribution of free software. You can use,      
**************************************************************************
    , University College London , UK .                             
    , INRIA Paris - Rocquencourt , France .                          
  Copyright 2013 - present Institut National de Recherche en Informatique et
  This software is governed by the CeCILL - B license under French law and   
  modify and/ or redistribute the software under the terms of the CeCILL - B
  license as circulated by CEA , CNRS and INRIA at the following URL        
  "  " . We also give a copy in LICENSE.txt .            



type t = Local|After|Both

let tags = ["local";"after";"both";]

let parse tag = match Misc.lowercase tag with
| "local" -> Some Local
| "after" -> Some After
| "both" -> Some Both
| _ ->  None

let pp = function
  | Local -> "local"
  | After -> "after"
  | Both -> "both"
