Module `Jkind0.Builtin`

val any : why:Jkind_intf.History.any_creation_reason -> 'd Types.jkind

val void : 
  why:Jkind_intf.History.void_creation_reason ->
  ('l * Allowance.disallowed) Types.jkind

val scannable : 
  why:Jkind_intf.History.scannable_creation_reason ->
  'd Types.jkind

val value_or_null : 
  why:Jkind_intf.History.value_or_null_creation_reason ->
  'd Types.jkind

val value : why:Jkind_intf.History.value_creation_reason -> 'd Types.jkind

val immutable_data : 
  why:Jkind_intf.History.value_creation_reason ->
  'd Types.jkind

val sync_data : why:Jkind_intf.History.value_creation_reason -> 'd Types.jkind

val mutable_data : 
  why:Jkind_intf.History.value_creation_reason ->
  'd Types.jkind

val immediate : 
  why:Jkind_intf.History.immediate_creation_reason ->
  ('l * Allowance.disallowed) Types.jkind

val immediate_or_null : 
  why:Jkind_intf.History.immediate_or_null_creation_reason ->
  'd Types.jkind

val product : 
  why:Jkind_intf.History.product_creation_reason ->
  (Types.type_expr * Mode.Modality.Const.t) list ->
  Jkind_types.Sort.t Jkind_types.Layout.t list ->
  Types.jkind_l

val product_of_sorts : 
  why:Jkind_intf.History.product_creation_reason ->
  level:int ->
  int ->
  Types.jkind_l

Module Jkind0.Builtin

Module `Jkind0.Builtin`