Logic.Abstract_syntax
This modules implements the abstract syntax and the build function for the signatures
module Abstract_syntax : sig ... end