language.mli

(**************************************************************************)
(*                                                                        *)
(*  This file is part of CAISAR.                                          *)
(*                                                                        *)
(**************************************************************************)

type nnet = {
  nb_inputs : int;
  nb_outputs : int;
  ty_data : Why3.Ty.ty;
  filename : string;
}

val lookup_loaded_nnets : Why3.Term.lsymbol -> nnet option
(** @return the filename of a nnet Why3 representation. *)

val register_nnet_support : unit -> unit
(** Register nnet parser. *)