Substitution.Pattern
External contextual LF substitution patterns.
type t = {
location : Syncom.Location.t;
head : Substitution.Pattern.Head.t;
terms : Term.Pattern.t Support.List.t;
}
module Head : sig ... end