open Abstract_syntax_tree

module type S =
  sig
    type tv
    type ts

    val top_ts : ts

    val interp_abs : stat -> ts -> ts
    
  end