Source file term.ml

1
include Term_base