Module Logic.Abstract_syntaxSource

This modules implements the abstract syntax and the build function for the signatures

Sourcemodule Abstract_syntax : sig ... end