Searched defs:BuiltinEnv (Results 1 – 2 of 2) sorted by relevance
14 } BuiltinEnv; typedef
110 data BuiltinEnv = BuiltinEnv function826 BuiltinEnv{ bZero = zero, bSuc = suc, bRefl = refl0 } = bEnv function