-(*let rec print_booltree b =
- match b with
- MQAnd (b1, b2) ->
- let i = print_booltree b1 in
- let j = print_string " AND " in
- print_booltree b2
- | MQOr (b1, b2) ->
- let i = print_booltree b1 in
- let j = print_string " OR " in
- print_booltree b2
- | MQNot b1 ->
- let j = print_string " NOT " in
- print_booltree b1
- | MQTrue ->
- print_string " TRUE "
- | MQFalse ->
- print_string " FALSE "
- | MQIs (s1, s2) ->
- let s1v = match s1 with
- MQCons s ->
- "'" ^ s ^ "'"
- | MQFunc (f, rvar) ->
- (
- match f with
- MQName -> "NAME " ^ rvar
- | MQTheory -> "THEORY" ^ rvar
- | MQTitle -> "TITLE" ^ rvar
- | MQContributor -> "contributor" ^ rvar
- | MQCreator -> "creator" ^ rvar
- | MQPublisher -> "publisher" ^ rvar
- | MQSubject -> "subject" ^ rvar
- | MQDescription -> "description" ^ rvar
- | MQDate -> "date" ^ rvar
- | MQType -> "type" ^ rvar
- | MQFormat -> "format" ^ rvar
- | MQIdentifier -> "identifier" ^ rvar
- | MQLanguage -> "language" ^ rvar
- | MQRelation -> "relation" ^ rvar
- | MQSource -> "source" ^ rvar
- | MQCoverage -> "coverage" ^ rvar
- | MQRights -> "rights" ^ rvar
- | MQInstitution -> "institution" ^ rvar
- | MQContact -> "contact" ^ rvar
- | MQFirstVersion -> "firstversion" ^ rvar
- | MQModified -> "modified" ^ rvar
- )
- | MQRVar rvar ->
- rvar
- | MQSVar svar ->
- svar
- | MQMConclusion ->
- "MainConclusion"
- | MQConclusion ->
- "InConclusion"
- and s2v = match s2 with
- MQCons s ->
- s
- | MQFunc (f, rvar) ->
- (
- match f with
- MQName -> "NAME " ^ rvar
- | MQTheory -> "THEORY" ^ rvar
- | MQTitle -> "TITLE" ^ rvar
- | MQContributor -> "contributor" ^ rvar
- | MQCreator -> "creator" ^ rvar
- | MQPublisher -> "publisher" ^ rvar
- | MQSubject -> "subject" ^ rvar
- | MQDescription -> "description" ^ rvar
- | MQDate -> "date" ^ rvar
- | MQType -> "type" ^ rvar
- | MQFormat -> "format" ^ rvar
- | MQIdentifier -> "identifier" ^ rvar
- | MQLanguage -> "language" ^ rvar
- | MQRelation -> "relation" ^ rvar
- | MQSource -> "source" ^ rvar
- | MQCoverage -> "coverage" ^ rvar
- | MQRights -> "rights" ^ rvar
- | MQInstitution -> "institution" ^ rvar
- | MQContact -> "contact" ^ rvar
- | MQFirstVersion -> "firstversion" ^ rvar
- | MQModified -> "modified" ^ rvar
- )
- | MQRVar rvar ->
- rvar
- | MQSVar svar ->
- svar
- | MQMConclusion ->
- "MainConclusion"
- | MQConclusion ->
- "InConclusion"
- in
- print_string (s1v ^ " = " ^ s2v)
-;;
-*)