type variavel = string

(* alínea 2 *)
type literal = Bot | Top |  V of variavel | N of variavel
type fnc = literal list list

This document was generated using caml2html