package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type uint =

and lambda =

| Lrel of Names.Name.t * int
| Lvar of Names.Id.t
| Levar of Evar.t * lambda array
| Lprod of lambda * lambda
| Llam of Names.Name.t array * lambda
| Llet of Names.Name.t * lambda * lambda
| Lapp of lambda * lambda array
| Lconst of Constr.pconstant
| Lprim of Constr.pconstant * int * Cbytecodes.instruction * lambda array
| Lcase of Constr.case_info * Cbytecodes.reloc_table * lambda * lambda * lam_branches
| Lfix of int array * int * fix_decl
| Lcofix of int * fix_decl
| Lmakeblock of int * lambda array
| Lval of Cbytecodes.structured_constant
| Lsort of Sorts.t
| Lind of Constr.pinductive
| Lproj of int * Names.Constant.t * lambda
| Luint of uint

and lam_branches = {

}

and fix_decl = Names.Name.t array * lambda array * lambda array