Toolbox.mli 275 Bytes
Newer Older
1 2 3
open ToolboxInput
open ToolboxOutput

POTTIER Francois's avatar
POTTIER Francois committed
4 5 6
(* This functor is applied to a type of terms, equipped with visitor classes.
   It produces a toolbox of useful functions that operate on terms. *)

7 8
module Make (Term : INPUT) : OUTPUT
  with type ('bn, 'fn) term = ('bn, 'fn) Term.term