jon.recoil.org

Module Jkind_types.Layout

type 'sort t =
  1. | Sort of 'sort
  2. | Product of 'sort Jkind_types.Layout.t list
  3. | Any

Note that products have two possible encodings: as Product ... or as Sort (Product .... This duplication is hard to eliminate because of the possibility that a sort variable may be instantiated by a product sort.

module Const : sig ... end