logtk

Core types and algorithms for logic
IN THIS PACKAGE
val ty : Builtin.t -> type_ option
val ty_exn : Builtin.t -> type_