Module `Dolmen_type.Thf`

module type S = Thf_intf.S: Typechecker external interface

module Make : functor (Tag : Dolmen_intf.Tag.S) -> functor (Ty : Dolmen_intf.Ty.Thf with type 'a tag := 'a Tag.t) -> functor (T : Dolmen_intf.Term.Thf 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