Module `Dolmen_type.Tff`

module type S = Tff_intf.S: Typechecker external interface

module Make : functor (Tag : Dolmen_intf.Tag.S) -> functor (Ty : Dolmen_intf.Ty.Tff with type 'a tag := 'a Tag.t) -> functor (T : Dolmen_intf.Term.Tff with type ty := Ty.t and type ty_var := Ty.Var.t and type ty_const := Ty.Const.t and type 'a tag := 'a Tag.t) -> S with module Tag = Tag and module Ty = Ty and module T = T