module type Shape =sig
..end
include Structure.Key
type 'a
data
type 'a
structure =
| |
Unit : |
| |
Void : |
| |
Leaf : |
| |
Node : |
| |
Option : |
val eq_structure : 'a structure ->
'b structure -> ('a, 'b) Structure.eq option