`Term::has_free_variables`: check if an expression has free variables #39

Sign in to view logs

Summary
Jobs
- cargo test
Run details
- Usage
- Workflow file

Workflow file for this run

.github/workflows/test.yml at 3bc1afd

	on:
	pull_request:
	push:
	branches:
	- master

	name: tests

	jobs:
	tests:
	name: cargo test
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions-rs/toolchain@v1
	with:
	profile: minimal
	toolchain: stable
	override: true
	- uses: actions-rs/cargo@v1
	with:
	command: test
	args: --release