sig
  exception Parse_error of string
  val items_of_file : string -> ITM_types.t_itm list
  val string_of_item : ITM_types.t_itm -> string
  val string_of_items : ITM_types.t_itm list -> string
  exception Invalid_definition of ITM_types.t_itm
  exception Cannot_replace_var_with_term_containing_var_in_fml of
              FML_types.t_var * FML_types.t_term * FML_types.t_var *
              FML_types.t_fml
  val subst_free_vars_in_fml_with_terms :
    (FML_types.t_var -> FML_types.t_term) ->
    FML_types.t_fml -> FML_types.t_fml
  val expand_items : ITM_types.t_itm list -> ITM_types.t_itm list
  val expand_file : string -> ITM_types.t_itm list
end