package obs
authors = "Greg Brown"
sourcedir = "src"

depends = contrib

options = "--total"

modules
  = Core.Term
  , Core.Term.Substitution
  , Core.Term.Thinned
  , Core.Thinning