package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Value.MakeSource

Sourceval bool : ?at:??? -> bool -> Lang.Il.value
Sourceval nat : ?at:??? -> Bigint.t -> Lang.Il.value
Sourceval int : ?at:??? -> Bigint.t -> Lang.Il.value
Sourceval num : ?at:??? -> Lang.Xl.Num.t -> Lang.Il.value
Sourceval text : ?at:??? -> string -> Lang.Il.value
Sourceval str : ?at:??? -> Lang.Il.typ -> Lang.Il.valuefield list -> Lang.Il.value
Sourceval tuple : ?at:??? -> Lang.Il.typ -> Lang.Il.value list -> Lang.Il.value
Sourceval opt : ?at:??? -> Lang.Il.typ -> Lang.Il.value option -> Lang.Il.value
Sourceval list : ?at:??? -> Lang.Il.typ -> Lang.Il.value list -> Lang.Il.value
Sourceval func : ?at:??? -> Lang.Il.id -> Lang.Il.tparam list -> Lang.Il.typ list -> Lang.Il.typ -> Lang.Il.value
Sourceval extern : ?at:??? -> Lang.Il.typ -> Yojson.Safe.t -> Lang.Il.value
Sourceval (<|) : string -> Lang.Il.value list -> string * Lang.Il.value list
Sourceval (<<|) : (string * Lang.Il.value list) -> string -> Lang.Il.value
Sourceval (#@@) : Lang.Il.value -> string -> Lang.Il.value