jon.recoil.org

Module Sort.Flat

type t =
  1. | Var of Jkind.Sort.Var.id
  2. | Base of Jkind.Sort.base

A flat sort is returned from get.