package links
val tyenv : environment
method lookup_type : Links_core.Ir.var -> Links_core.Types.datatype
method constant : Links_core.CommonTypes.Constant.t ->
'self_type * Links_core.CommonTypes.Constant.t * Links_core.Types.datatype
method option : 'a. ('self_type ->
'a ->
'self_type * 'a * Links_core.Types.datatype) ->
'a option ->
'self_type * 'a option * Links_core.Types.datatype option
method list : 'a. ('self_type ->
'a ->
'self_type * 'a * Links_core.Types.datatype) ->
'a list ->
'self_type * 'a list * Links_core.Types.datatype list
method name_map : 'a. ('self_type ->
'a ->
'self_type * 'a * Links_core.Types.datatype) ->
'a Links_core.Ir.name_map ->
'self_type
* 'a Links_core.Ir.name_map
* Links_core.Types.datatype Links_core.Ir.name_map
method var_map : 'a. ('self_type ->
'a ->
'self_type * 'a * Links_core.Types.datatype) ->
'a Links_core.Ir.var_map ->
'self_type
* 'a Links_core.Ir.var_map
* Links_core.Types.datatype Links_core.Ir.var_map
method var : Links_core.Ir.var ->
'self_type * Links_core.Ir.var * Links_core.Types.datatype
method temporal_update : Links_core.Ir.temporal_update ->
'self_type * Links_core.Ir.temporal_update
method temporal_deletion : Links_core.Ir.temporal_deletion ->
'self_type * Links_core.Ir.temporal_deletion
method value : Links_core.Ir.value ->
'self_type * Links_core.Ir.value * Links_core.Types.datatype
method tail_computation : Links_core.Ir.tail_computation ->
'self_type * Links_core.Ir.tail_computation * Links_core.Types.datatype
method special : Links_core.Ir.special ->
'self_type * Links_core.Ir.special * Links_core.Types.datatype
method bindings : Links_core.Ir.binding list ->
'self_type * Links_core.Ir.binding list
method computation : Links_core.Ir.computation ->
'self_type * Links_core.Ir.computation * Links_core.Types.datatype
method binding : Links_core.Ir.binding -> 'self_type * Links_core.Ir.binding
method binder : Links_core.Ir.binder -> 'self_type * Links_core.Ir.binder
method program : Links_core.Ir.program ->
'self_type * Links_core.Ir.program * Links_core.Types.datatype
method get_type_environment : environment
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>