F# forward type declarations
You use ‘and’: type firstType = | T1 of secondType and secondType = | T1 of firstType
mutual-recursion
How to have two methods calling each other?
‘let rec… and…’ is the syntax you seek. let rec F() = G() and G() = F() See also Adventures in F# Co-Recursion.