This repository has been archived on 2024-01-18. You can view files and clone it, but cannot push or open issues or pull requests.
compilation/cours/cours-04/Rewrite.mli

15 lines
338 B
OCaml
Raw Permalink Normal View History

2023-10-25 18:42:49 +02:00
module type LANG = sig
type t
val pp : t Fmt.t
val equal : t -> t -> bool
val rewrite : t -> t Seq.t
end
module Make(L : LANG) : sig
type graph = (L.t * L.t) Seq.t
val reductions : L.t -> graph
val is_normal : L.t -> bool
val normal_forms : L.t -> L.t Seq.t
val display : ?verbose:bool -> ?max:int -> graph -> unit
end