Previous  Up  Next

Module Pattern

module Pattern: sig .. end

Pattern

A pattern is found on the left of a (nested) pattern match. It is built from constructors and variables only.

module TI: TermInner
type id = ID.t 
type 'a var = 'a Var.t 
module Builtin: sig .. end
type 'a view =
| Builtin of Builtin.t
| App of id * 'a list
| Var of 'a var 
module type S = sig .. end
module Make (T : TI.REPR) : sig .. end