(fun id {C2A.annsynthesized = synty ; C2A.annexpected = expty} x ->
[< x ;
X.xml_nempty "TYPE" ["of",id]
- [< print_term ids_to_inner_sorts synty ;
- match expty with
- None -> [<>]
- | Some expty' -> print_term ids_to_inner_sorts expty'
+ [< X.xml_nempty "synthesized" []
+ [< print_term ids_to_inner_sorts synty >] ;
+ match expty with
+ None -> [<>]
+ | Some expty' -> X.xml_nempty "expected" [] [< print_term ids_to_inner_sorts expty' >]
>]
>]
) ids_to_inner_types [<>]