logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . UntypedAST . A
type t = attr
val str : string -> t
val app : string -> t list -> t
val quoted : string -> t
val list : t list -> t