
  * Copyright ( C ) 2011   INRIA and Microsoft Corporation 
 
 * Copyright (C) 2011  INRIA and Microsoft Corporation
 *)

val pp_print_obligation : Format.formatter -> Proof.T.obligation -> unit;;


  * Copyright ( C ) 2011   INRIA and Microsoft Corporation 
 
 * Copyright (C) 2011  INRIA and Microsoft Corporation
 *)

val pp_print_obligation : Format.formatter -> Proof.T.obligation -> unit;;
