(****************************************************************************)
(*                           the diy toolsuite                              *)
(*                                                                          *)
    , University College London , UK .                             
    , INRIA Paris France .                                        
(*                                                                          *)
  Copyright 2020 - 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 =
    {
     tthm : Proc.t -> bool;
     ha : Proc.t -> bool;
     hd : Proc.t -> bool;
     some_ha : bool;   some_hd : bool;
     all_ha : bool;   all_hd : bool;
   }

type my_t = { my_ha : unit -> bool; my_hd : unit -> bool; }

val soft : t

val get : MiscParser.info -> t option

**************************************************************************
                           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 France .                                        
  Copyright 2020 - 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 =
    {
     tthm : Proc.t -> bool;
     ha : Proc.t -> bool;
     hd : Proc.t -> bool;
     some_ha : bool;   some_hd : bool;
     all_ha : bool;   all_hd : bool;
   }

type my_t = { my_ha : unit -> bool; my_hd : unit -> bool; }

val soft : t

val get : MiscParser.info -> t option
