Module Intrinsic_registry.Make

Create an intrinsic registry for a specific backend. Each backend should create its own registry instance.

Parameters

Signature

type intrinsic_impl = intrinsic_impl

Backend-specific intrinsic implementation type

val register : string -> intrinsic_impl -> unit

Register an intrinsic by name

val find : string -> intrinsic_impl option

Look up an intrinsic by name

val list_all : unit -> string list

List all registered intrinsic names