1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
type 'u gate_app =
| App1 of 'u * int |
| App2 of 'u * int * int |
| App3 of 'u * int * int * int |
val uc_well_typed_l_b : int -> 'a1 gate_list -> bool
val does_not_reference_appl : int -> 'a1 gate_app -> bool
val does_not_reference : 'a1 gate_list -> int -> bool