pub fn function<'a>( location: &Location, name: &str, arguments: &'a [Term<'_>], external: bool, ) -> Result<Function<'a>, ClingoError>
Construct an AST node of type ASTType.Function.
ASTType.Function