BwdDef.ml
bwd
1 2 3 4 (** @canonical Bwd.bwd *) type 'a bwd = | Emp | Snoc of 'a bwd * 'a
1 2 3 4
(** @canonical Bwd.bwd *) type 'a bwd = | Emp | Snoc of 'a bwd * 'a