Lines Matching defs:L
11 (define-language L function
29 (define-judgment-form L function
67 (define-metafunction L function
72 (define-metafunction L function
82 (define-metafunction L function
88 (define-metafunction L function
96 (define-metafunction L function
116 (define-metafunction L function
139 (define-metafunction L function
155 (define-metafunction L function
161 (define-metafunction L function
190 (define-metafunction L function
211 (define-metafunction L function