(***********************************************************************)
(*                                                                     *)
(*                           Corrector                                 *)
(*                                                                     *)
(*       Damien Doligez and Francois Rouaix, INRIA Rocquencourt        *)
(*                                                                     *)
(*  Copyright 1997 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(***********************************************************************)

type t (* abstract type of dictionnaries *)

type state

type label = char

external load : string -> t = "mldict_load"
  (* [load filename] *)
external initial : t -> state = "mldict_initial"
  (* [initial dict] returns the initial state *)
external transition : t -> state -> char -> state = "mldict_transition"
  (* [transition dict from c] *)
external transitions : t -> state -> char list = "mldict_transitions"
  (* [transitions dict from] *)
external is_final : t -> state -> bool = "mldict_isfinal"
  (* [is_final dict state] *)

val check : t -> string -> bool