]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/proofEngineStructuralRules.ml
let string_of_name =
function
C.Name n -> n
- | C.Anonimous -> "_"
+ | C.Anonymous -> "_"
in
let metasenv' =
List.map
let string_of_name =
function
C.Name n -> n
- | C.Anonimous -> "_"
+ | C.Anonymous -> "_"
in
let metasenv' =
List.map