(****************************************************************************)
(*                           the diy toolsuite                              *)
(*                                                                          *)
    , University College London , UK .                             
    , INRIA Paris - Rocquencourt , France .                          
(*                                                                          *)
  Copyright 2021 - 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 .            
(****************************************************************************)

(** Do nothing semantics runtime approximations of context *)

(* Perform approximation *)
val opt_env : bool

(* Registers killed by instruction *)
val killed : 'i -> 'r list

(* Size of load reserve access *)
val get_lx_sz : 'i -> MachSize.lr_sc

**************************************************************************
                           the diy toolsuite                              
                                                                          
                                                                          
 en Automatique and the authors. All rights reserved.                     
                                                                          
 abiding by the rules of distribution of free software. You can use,      
**************************************************************************
* Do nothing semantics runtime approximations of context 
 Perform approximation 
 Registers killed by instruction 
 Size of load reserve access 
    , University College London , UK .                             
    , INRIA Paris - Rocquencourt , France .                          
  Copyright 2021 - 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 .            


val opt_env : bool

val killed : 'i -> 'r list

val get_lx_sz : 'i -> MachSize.lr_sc
