Language.Syntactic.Frontend.TupleConstrained

class TupleSat dom p