Context.Pattern
External contextual LF context patterns.
type t = {
location : Syncom.Location.t;
head : Context.Pattern.Head.t;
bindings : (Syncom.Identifier.t * Typ.t) Support.List.t;
}
module Head : sig ... end