Mutally recursive types need to be declared using the "and" keyword (like in ocaml):

type A =

class

val b: B

end

and B =

class

val a: A

end

You may want to consider trying to reduce mutal dependenices using type parameters:

type A<'a> =

class

val b: 'a

end